Let \(*\) be commutative. Let \(*\) be left-distributive over \(+\). Then \(*\) is right-distributive over \(+\).

Proof available

Let \(*\) be commutative. Let \(*\) be right-distributive over \(+\). Then \(*\) is left-distributive over \(+\).