Основные ошибки амебы устраняются путем устранения амебы
Вчера, когда сидели в Starbucks и играли в "Цитадели", рядом с нами сидел задумчивые парнишка с чашкой кофе, пытаясь вникнуть в суть регулярных и сингулярных функций. Периодически я заглядывал в распечатки его лекций. Доказательства теорем, приводимые там, радовали меня несказанно. Например:
"<утверждение>. Докажем:
1. <Часть утверждения> практически очевидна.
2. <Вспомогательный факт> мы докажем позднее.
3. Из 1. и 2., а так же из <немного матана> следует утверждение, которое мы хотим доказать."
Круто же, чо:D