Про объём в 300 чтраниц я вспоминил - это про теорию 4х красок доказательство заняло.
Что доказали таки?