А что там с теоремой Карлесона (ряд фурье функции из

сходится почти всюду)? У нас периодически бывает годовой спецкурс про нее одну. Хотя, вообще, да, на 800 страниц не тянет всё равно.
Или там просто слишком много вспомогательной инфы? Вообще, как мы отделяем леммы от собственно теоремы, и леммы, относящиеся к теореме, от лемм, не относящихся?
_________________
А ещё есть доказательство теоремы о 4-х красках.
Где-то слышал, что уже нашли человеческое доказательство, и даже алоритм закраски. Это правда?