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

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

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

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