>>327
 x=1とx^2=1は必要十分じゃない。