Cancellable iff Regular Representations Injective

Theorem
Let $\struct {S, \circ}$ be an algebraic structure.

Then $a \in S$ is cancellable :
 * the left regular representation $\map {\lambda_a} x$ is injective

and:
 * the right regular representation $\map {\rho_a} x$ is injective.