訂正
pが6n+5型のときは、3乗して*初めて*1になる(Z/pZ)^×の元は存在しない。