# Distributive

THEOREM

Let $$*$$ be commutative. Let $$*$$ be left-distributive over $$+$$. Then $$*$$ is right-distributive over $$+$$.

Proof available

THEOREM

Let $$*$$ be commutative. Let $$*$$ be right-distributive over $$+$$. Then $$*$$ is left-distributive over $$+$$.

Proof available