А, ну я из такого помню высказывание препода по мат.физике, что существует два подхода к доказательству теорем, немецкий и французский. В немецком доказующий пишет 10 страниц текста, глотает шпаги, вытворяет невероятные фокусы, зато потом всю дорогу пользуется леммами и выводами из теоремы, ну и соответственно более лёгкий французский подход, когда доказательства прямо на месте где надо какой-то вывод использовать