Show that G1*G2 is not abelian and must contain an element of infinite order.
It is shown that G1*G2 is not abelian and must contain an element of infinite order.