State and Prove Theorem 4.2 from the handout (the existence of Free Products of Groups). Explain the example when all of the Gi's are infinite cyclic (in this case the free product is a free group, denoted Z*Z, Z*Z*Z, etc.). Explain the example Z2*Z2.