Это - аксиома параллельных в евклидовой геометрии! На самом деле, то, что провести можно - это доказывается на примере. А вот единственность - это самая суть аксиомы. При попытках её доказать возникли неевклидовы геометрии: Лобачевский, Бойяи, Риман... Гаусс догадывался, но не публиковал свои догадки! Пуанкаре одним из первых привел пример модели неевклидовой геометрии. Феликс Клейн здесь тоже поучаствовал.
