Ответ:

Обе прямые, проведённые перпендикулярно одной и той же прямой, параллельны друг другу.

Ответ: если m ⟂ a и n ⟂ a, то m ∥ n.