3) É normalizado: porque \(\hat{O}^\pm_z\) é normalizado e \(C\) é hermitiano.
Assim podemos separar nosso espinor em quatro operadores