Задачка про тетрис, которую сформулировала и решила американск | Общий знаменатель

Задачка про тетрис, которую сформулировала и решила американская математик Хайди Бурджил (сейчас она работает в Гарварде):

Доказать, что даже мгновенная реакция и безошибочный выбор не позволят играть в тетрис бесконечно.

Идея доказательства проста: "кривые" z-образные тетрамино иногда создают комбинации, когда линию не сотрёшь. Значит, если комп не подыгрывает, а выбрасывает фигурки случайно, рано или поздно "кривых" тетрамино выпадет подряд столько, что они заполнят весь стакан

Подробная статья Хайди :
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.55.8562&rep=rep1&type=pdf