パウリ行列
The Pauli matrices in M(2, ℂ) are involutory: