(related to Proposition: Product of Two Sums (Generalized Distributivity Rule))
This rule follows from the axioms of a unit ring $(R, +, \cdot).$
Thank you to the contributors under CC BY-SA 4.0!
