Trong Bài 10, ta đã dùng cách đo đạc để kiểm nghiệm tính chất sau là đúng: “Nếu một đường thẳng cắt hai đường thẳng song song thì hai góc đồng vị bằng nhau” (H.3.45). Tuy nhiên, đo đạc chỉ cho ta kết quả gần đúng và chỉ trong một trường hợp cụ thể. Vậy có cách nào để chắc chắn rằng tính chất đó đúng cho mọi trường hợp không?