Kramers Degeneracy Theorem