Упражнение из книги Think Python, пытался понять эту теорему, и увидел страничку из рассказа.