Sean P1, P2 puntos antipodales en la circunferencia circunscrita a ABC, s1 y s2 sus rectas de Simson. La recta P1P2 corta s1 en Q1 y s2 en Q2; las rectas s1 y s2 se cortan en S. Entonces la circunferencia con diámetro P1P2 es tangente a la circunferencia cn de los 9 puntos en S.