Episode I

Alice és Bob

. rész: Peano-összeg egyszerűsítése

Tetszőleges a, b és c természetes számok esetén ha a+c = b+c, akkor a=b.