Siguin Ha, Hb, Hc els peus de les altures; Ka, Kb, Kc les traces cevianes del circumcentre O. Les circumferències circumscrites als triangles AHaKa, BHbKb, CHcKc són tangents a la circumferència circumscrita i a la circumferència dels nou punts d'ABC.