Prove that a set G, togetherwith a binary operation * on G satisfying the left axioms 1,2, and 3 given after Corollary is a group