در مساله زیر فرض و حکم را مشخص کنید. (مطابق شکل فرض و حکم را به زبان ریاضی بنویسید) "هر نقطه روی نیمساز یک زاویه از دو ضلع آن زاویه به یک فاصله است." فرض: حکم: [شکل: زاویه A که خط AP نیمساز آن است. P نقطه ای روی نیمساز است که از آن دو عمود PH و PH' بر اضلاع زاویه رسم شده است. زوایای A1 و A2 در شکل برابرند و PH بر ضلع بالا و PH' بر ضلع پایین عمود است.]