Формулировка: Кудах является единственным очкопетухом.

Доказательство.

Необходимое условие:
а) Кудах является петухом.
Доказывается элементарно: берем любимый язык программирования Кудаха и получаем пердольную функциональную парашу для геев.
б) Кудах носит очкоиконку.
Доказывается по определению.
Достаточное условие:
а) Не существует других очкопетухов, кроме Кудаха.
Докажем от обратного. Допустим, существует второй очкопетух. Тогда мочевой рацион Колчана уменьшается вдвое для каждого очкопетуха, что влечет к их гибели из-за недостатка мочи для разбухания. Вывод: для выживания очкопетух должен быть только один, и это Кудах.

Теорема доказана
Анонимный математик