Neka je MM polovište stranice AB\overline{AB} trokuta ABCABC u kojem je BC>AC|BC| > |AC|, te neka je NN nožište okomice iz točke AA na dužinu CM\overline{CM}. Neka je PP točka na pravcu ANAN takva da je PBPB okomito na CBCB.

Ako vrijedi CPB=CBA\measuredangle CPB = \measuredangle CBA, dokaži da je BAC=90°\measuredangle BAC = 90°.