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