4. Сформулируйте свойство двух прямых, перпендикулярных к третьей прямой.

Если две прямые перпендикулярны одной и той же прямой, то эти прямые параллельны.