Suppose a finite set G is closed under associative product and that both cancellation laws hold in G. Prove G must be a group.