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