Огромная или Гигантская теорема

Если знакомый математик попросит вас помочь ему донести из библиотеки до дома доказательство "теоремы о классификации простых конечных групп", не соглашайтесь, потому что это просьба с подвохом: другое название этой теоремы — Огромная или Гигантская, потому что ее доказательство занимает в общей сложности около 15 тысяч страниц.