Group Operation is Cancellable

Theorem
Let $\left({G, \circ}\right)$ be a group.

Then $\circ$ is a cancellable operation.

Proof
Cancellation Laws