Ta có : `A_1 + A_2 = 180^o` ( kề bù )
Ta lại có : góc `A_2` lại nằm ở vị trí sole trong với góc `B_1` .
`=> A_2 = B_1`
Mà trong định lý : Khi có đường thẳng thứ ba cắt 2 đường thẳng , trong đó có góc sole trong bằng nhau thì `2` đường thẳng đó song song với nhau.
`=> a //// b`