Toán Lớp 7: hãy liệt kê định lý giả thiết của các tính chất sau
1. hai góc đối đỉnh
2. hai đường thẳng vuông góc
3. các góc tạo bởi một đường thẳng cắt hai đường thẳng
4. hai đường thẳng song song
5. tiên đề ơ-clit về đường thẳng song song
6. từ vuông góc đến song song
7. định lý