Condition for Operation to be Right Distributive over Constant Operation

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

Let $\sqbrk c$ be the constant operation for some $c \in S$.

Then:
 * $\circ$ is right distributive over $\sqbrk c$


 * $\forall x \in S: c \circ x = c$
 * $\forall x \in S: c \circ x = c$

Sufficient Condition
Let $\circ$ be right distributive over $\sqbrk c$.

That is:
 * $\forall x \in S: c \circ x = c$

Necessary Condition
Let:
 * $\forall x \in S: c \circ x = c$

Then:

That is, $\circ$ is right distributive over $\sqbrk c$.