(related to Corollary: General Commutative Law of Multiplication)
The general commutative law of multiplication follows from the axiom Commutative Law of Multiplication, using it repeatedly.
Thank you to the contributors under CC BY-SA 4.0!