Episode I

Alice és Bob

. rész: Peano-szorzás disztributivitása

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

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