Sigui P el punt de Gob, PaPbPc el seu triangle pedal. Les perpendiculars per Pa a AC, per Pb a BA i per Pc a CB formen un triangle MaMbMc; les perpendiculars per Pa a AB, per Pb a BC i per Pc a CA formen un altre triangle NaNbNc. Llavors MaMbMc i NaNbNc tenen la mateixa circumferència circumscrita.