Пятый постулат Евклида «Если прямая, падающая на две прямые, образует внутренние односторонние углы, в сумме меньшие двух прямых, то, продолженные неограниченно, эти две прямые встретятся с той стороны, где углы в сумме меньше двух прямых» многим математикам еще в античности казался каким-то не очень ясным, отчасти в связи со сложностью его формулировки.