Изо всех его теорем последней была доказана т.н. «великая»