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