query of the lemma:
in a group, if the square of every element is the identity,
the group is commutative.

equal1(c,c1).