The first proof was formulated in 1939 Markus Fierz, a student of Wolfgang Pauli, and was rederived in a more systematic way by Pauli the following year. In a later summary, Pauli listed three postulates within relativistic quantum field theory as required for these versions of the theorem: