Siguin A', B' i C' els peus de les altures d'ABC. Les circumferències {AA'O}, {BB'O} i {CC'O}, essent O el circumcentre d'ABC, són concurrents en O i en el punt X(403).