Теорема о пересечении прямых

Теорема: две прямые, перпендикулярные третьей, не имеют общих точек между собой.