Dirac equation, Pauli equation, Analytic diagonalization