Let G be a nonempty set and let ∗ be an associative binary operation on G. Assume that for any elements a, b∈G, we can find x ∈G such that a ∗ x = b, and we can find y ∈ G such that y∗a = b. Prove that (G,∗) is a group.