Cụm từ nào còn thiếu để phát biểu dưới đây là một định lí?

dụ 1: Cụm từ nào còn thiếu để phát biểu dưới đây là một định lí?
“Nếu 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 ...”
A. Vuông góc với nhau
B. Song song với nhau
C. Trùng nhau
D. Một kết luận khác