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

product(b,a,c).
# inverse(d,f).