Every Operation is Distributive over Left Operation

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

Let $\gets$ denote the left operation on $S$.

Then $\circ$ is distributive over $\gets$.

Proof
Hence the result by definition of distributive.