Ba định lí là:
- Hai đường thẳng phân biệt cùng vuông góc với một đường thẳng thứ ba thì chúng song song với nhau.
- Một đường thẳng vuông góc với một trong hai đường thẳng song song thì nó cũng vuông góc với đường thẳng kia.
- Hai đường thẳng phân biệt cùng song song với một đường thẳng thứ ba thì chúng song song với nhau.
