در مسأله زیر فرض و حکم را مشخص کنید. (مطابق شکل فرض و حکم را به زبان ریاضی بنویسید) "هر نقطه روی نیمساز یک زاویه از دو ضلع آن زاویه به یک فاصله است." فرض: حکم: [شکل: مثلث با رأس A و نیمساز AP که P روی آن قرار دارد. دو عمود از نقطه P به اضلاع زاویه به نقاط H و H' رسم شده است. زوایای 1 و 2 در رأس A با هم برابرند. زوایای در نقاط H و H' قائمه هستند.]