Phát biểu định lí về hai đường thẳng phân biệt cùng vuông góc với một đường thẳng

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.