В течение двух тысяч лет было предпринято множество попыток доказать параллельный постулат, используя первые четыре постулата Евклида.
Это доказало, что пятый постулат Евклида не зависел от других постулатов. После этого математики в основном перестали пытаться доказать пятый постулат из четырех других постулатов.