A proof by Julian Schwinger in 1950 based on time-reversal invariance followed a proof by Frederik Belinfante in 1940 based on charge-conjugation invariance, leading to a connection to the CPT theorem more fully developed by Pauli in 1955. These proofs were notably difficult to follow.