12.3. Lemma
Lemma a szorzás kommutativitásához
Az \N halmaz tetszőleges a és b elemeire igaz az alábbi összefüggés:
s(b)\cdot a=(b\cdot a) + a
Itt s(x) az x természetes szám rákövetkezőjét, a + szimbólum pedig a természetes számok összeadását jelöli.
♣