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