Viết giả thiết, kết luận của định lí sau: Nếu một đường thẳng cắt hai đường thẳng song song thì hai góc đồng vị bằng nhau.