Формулировка леммы занимает восемнадцать страниц

[posic]

http://vanja-y.livejournal.com/11589.html

У меня в одной статье есть теорема с формулировкой чуть длиннее страницы, так я все думал, это много. Выглядит странно, больше страницы сплошного курсива. Однако, куда нам до таких рекордов.