Prove Pauli's fundamental theorem for Dirac matrices: For any two four-dimensional representations γμ and γμ′ of the Dirac algebra both of which satisfy the relation
{γμ,γν}=2gμν
there exists a nonsingular transformation M such that
γμ′=MγμM−1.M is uniquely determined to within a constant prefactor.