| OME Local |
| OME Andaluza |
| OME Nacional |
| OIM |
| IMO |
| EGMO |
| USAMO |
| ASU |
| APMO |
| OMCC |
| Retos UJA |
Supongamos entonces que los cinco puntos $p_1,p_2,p_3,p_4,p_5$ son distintos. En particular, $p_1,p_2,p_3$ son tres puntos distintos tanto en $\Gamma_4$ como en $\Gamma_5$. Como tres puntos distintos determinan una única circunferencia, deducimos que $\Gamma_4=\Gamma_5$, luego $p_5$ está también en $\Gamma_5$ y, por tanto, es un punto común a todas las circunferencias.