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