Twierdzenie Wignera – Araki – Yanase