Esta propiedad amplía su dominio de verdad para el centro de la circunferencia de los nueve puntos notables; que Euler no había demostrado para ese tiempo.