Евклид доказал, что параллельные прямые, если они не совпадают, никогда не пересекаются. В XIX веке Николай Лобачевский доказал обратное, и геометрия Лобачевского нашла применение в теории функций комплексного переменного, в теории чисел, в теории относительности.