Left Operation is Right Distributive over All Operations

Theorem
Let $\struct {S, \circ, \leftarrow}$ be an algebraic structure where:
 * $\leftarrow$ is the left operation
 * $\circ$ is any arbitrary binary operation.

Then $\leftarrow$ is right distributive over $\circ$.

Proof
By definition of the left operation:

The result follows by definition of right distributivity.