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