Необходимо доказать теорему, что #опа бесконечна. При доказательстве пойдём методом от противного: допустим, что #опа имеет конец. Но это не верно, потому что конец имеет #опу. Следовательно, #опа бесконечна.
Теорема доказана.