If a finite set $G$ is closed under an associative product and both cancellation laws hold, then it is a group
Show that G is a group, if G is finite, the operation is associative, and cancellation law holds