3. In the category of groups, show that the group G X G2 together with the homomorphisms : G X G, G, and 72: G X G2 G2 (as in the Example preceding Definition 2.2) is a product for (G1,G2}