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