１万ページ以上あると言われる有限単純群の分類の証明を数百ページに圧縮するのに成功したって話があるそうだ．
専門家が理解するのさえ難しいモッチーの証明を簡潔にするのは業績にならないのだろうか．