indirekt bizonyítás

Episode I: Alice és Bob
12. rész: Alice és Bob rendet tesz