Siguin BCCaBa, CAAbAc, ABBcAc rectangles que circumscriuen ABC. Les rectes AbBa, CaAc, AcBc limiten un triangle A'B'C' i AA', BB', CC' són concurrents en l'isogonal Ex* del punt d'Exeter Ex.