Let be the incenter of triangle and let be arbitrary points on the segments, respectively.
Hayaan ang incenter ng tatsulok at ipaalam sa ay di-makatwirang mga puntos sa mga segment, Ayon sa pagkakabanggit.