Proof
Преглед.
за.
за.
следващата.

1:22:04
Мамка му! Вземи тази книга и
я прочети!

1:22:28
Нека х е равно на качеството
1:22:32
на всички качества на х.
Нека х е равно

1:22:35
на студа.
1:22:38
През декември е студено.
1:22:41
Месеците от ноември до
февруари са еднакво студени.

1:22:46
Има 4 студени месеца и
4 топли.

1:22:50
Останалите 4 са с
неопределена температура.

1:22:54
През февруари вали сняг.
1:22:57
През март езерото
е заледено.

1:23:01
През септември учениците се
връщат,

1:23:04
и книжарниците са пълни.
1:23:07
Нека х е равно на месеца
1:23:10
с пълните книжарници.
1:23:12
Броят на книгите клони към
безкрайност, както броя на месеците.

1:23:17
И студът се приближава.
1:23:22
Никога няма да бъда толкова студен
сега, колкото ще бъда в бъдещето.

1:23:27
Бъдещето на студа е безкрайно.
1:23:34
Бъдещето на горещината е
като бъдещето на студа.

1:23:41
Книжарниците са безкрайни
и необратими.

1:23:46
Освен през септември.

Преглед.
следващата.