Episode I

Alice és Bob

. rész: Peano-szorzás kommutativitása – lemma

Az \N halmaz tetszőleges a és b elemeire igaz az alábbi összefüggés:

s(b)\cdot a=(b\cdot a) + a