Hình 4.7 có . Chứng tỏ rằng Ax // By.

Ở trong góc AOB, vẽ tia Ot //Ax. Khi đó AOt⏞=A⏞=30° (cặp góc so le trong).

Suy ra BOt⏞=100°-30°=70°.

Vậy B⏞=BOt⏞=70°.

Do đó By // Ot (vì có cặp so le trong bằng nhau).

Từ đó suy ra Ax // By (vì cùng song song với Ot).