Cho định lí có giả thiết và kết luận dưới đây. Phát biểu định lí bằng lời

Nếu hai đường thẳng phân biệt cùng vuông góc với một đường thẳng khác thì chúng song song với nhau;

Nếu một đường thẳng vuông góc với một trong hai đường thẳng song song thì nó vuông góc với đường thẳng còn lại;

Nếu hai đường thẳng phân biệt cùng song song song với một đường thẳng khác thì chúng vuông góc với nhau;

Nếu hai đường thẳng phân biệt cùng song song với một đường thẳng khác thì chúng song song với nhau.