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