In 1954, Gerhart Lüders and Wolfgang Pauli derived more explicit proofs, so this theorem is sometimes known as the Lüders–Pauli theorem.
V roce 1954 odvodili Gerhart Lüders a Wolfgang Pauli explicitnější důkazy, proto je tento teorém někdy znám jako Lüdersova–Pauliho věta.