Sean A1, B1, C1 los puntos de contacto con la circunferencia circunscrita de las tres circunferencias de Mannheim. La recta IA1 (siendo I el incentro) corta en A2 al lado BC. Definimos análogamente B2, C2. Las rectas AA2, BB2, CC2 concurren en X(57).