群Gの全ての元xに対して x^2=1 が成り立つならGは可換である

単位元を持つ環Rの全ての元xに対して x^2=x が成り立つならRは可換で
全ての元xに対し2x=0となる