(related to Proposition: Basic Rules of Manipulating Finite Sums)
The rules follow immediately from the axioms of a unit ring $(R, +, \cdot).$
Thank you to the contributors under CC BY-SA 4.0!
