Si A'B'C' es el triángulo ceviano de P y X la intersección de las circunferencias {PBC'} y {PB'C} y se definen análogamente Y y Z, entonces los triángulos AYZ, XBZ y XYC son semejantes.