Proof: By Induction
(related to Proposition: Generalization of Cancellative Multiplication of Integers)
"$\Rightarrow$"
"$\Leftarrow$"
- Assume, $a=b.$
- Multiplication by $c$ gives us $ac=bc.$
∎
Thank you to the contributors under CC BY-SA 4.0!

- Github:
-

References
Bibliography
- Modler, Florian; Kreh, Martin: "Tutorium Algebra", Springer Spektrum, 2013