Iniciante
Como , pelo pequeno teorema de Fermat: deixa resto na divisão por .
Intemediário
Aplicação direta do Teorema de Turán:
Avançado
A prova consistirá no princípio de dualidade da Geometria Projetiva: se letras maiúsculas representam os pontos e letras minúsculas suas respectivas polares, então
Por construção , a reta polar de X é BC. Daí, e portanto . Mas então, como , segue que
o que, em particular, garante que AX e PO são perpendiculares.