Giả sử có 2 đường thẳng a và a’ đi qua A và vuông góc với d.
Vì a \( \bot \) d, mà a’ \( \bot \) d nên a // a’ (hai đường thẳng cùng vuông góc với một đường thẳng thứ ba thì song song với nhau)
Mà A \( \in \) a, A \( \in \) a'
\( \Rightarrow a \equiv a'\)
Vậy có duy nhất đường thẳng đi qua A và vuông góc với d.