Теорема

Требуется доказать, что ежики - это матросы, а матросы - наоборот, ежики. То есть, что эти два понятия идентичны.

При объяснении многих нетривиальных (и тем более тривиальных) фактов в качестве последнего аргумента используется утверждение, что "это и ежику понятно". Поскольку вышеназванные факты могут касаться совершенно любых областей научной, социальной, культурной и прочих видов деятельности человека и животных, а также аспектов устройства окружающего мира, то данное утверждение можно с легкостью аппроксимировать на всю сферу деяний и мышления человека и, конечно же, ежика.
Таким образом, мы получаем утверждение: "Ежику понятно все".
Далее.
Если "ежику понятно все", то, следовательно, у него не возникает вопросов.
Широко известна категория людей, у которых нет вопросов - это матросы.
Следовательно, ежики - это матросы.
Также верно и обратное утверждение, что матросы - это ежики: у матросов нет вопросов, следовательно, им все понятно, следовательно, они - ежики!
Теорема доказана!

Итак, гости разъехались, да и я сама вернулась "домой" - в Инет :)