Pauli matrices
パウリ行列の自乗は単位行列に等しい。