How to prove: if $\forall a,b,c$, $ab=ac\Rightarrow b=c$ and $ba=ca\Rightarrow b=c$ then $(G,\circ)$ is a group
Show that G is a group, if G is finite, the operation is associative, and cancellation law holds