Теорема о двух прямых перпендикулярных третьей: решение и доказательства