1:^tOy=12m° vì Ot là tia phân giác của ^xOy2 : ^t′Oy=12(180°−m°) vì Ot′ là tia phân giác của ^yOx′3:^tOt′=90° vì Ot vuông góc vớiOt′4:^x′Oy=180°−m° vì ^xOy kề bù với ^x′Oy⇒ trình tự định lí là : 4;1;2;3
1:^tOy=12m° vì
Ot là tia phân giác của
^xOy2 :
^t′Oy=12(180°−m°) vì
Ot′ là tia phân giác của
^yOx′3:^tOt′=90° vì
Ot vuông góc với
Ot′4:^x′Oy=180°−m° vì
^xOy kề bù với
^x′Oy⇒ trình tự định lí là :
4;1;2;3