קיימת [math]M[/math] כך שמתקיים[br][br]AB על G, AC על H, BC על K[br]וגם [br][math]MG\perp AB\wedge MH\perp AC\wedge MK\perp BC[/math][br]וגם[br][math]MG=MH=MK[/math]