Las mediatrices de los lados de ABC cortan la circunferencia circunscrita en A', B', C' (A y A' del mismo lado de BC, etc.). Las rectas de Simson de A', B', C' concurren.