Soit $~(G,\cdot)~$ un groupe d'element neutre, $~e~$.
On suppose, en plus que: $$x^2=e\qquad (\forall x\in G)$$ Montrer $~(G,.)~$ est un groupe commutatif.