Нека g и h са две различни прави в една равнина. Нека т.A е от g, а т.B е от h. Построяваме точки A₁ и B₁ такива, че:

$$AA_{1} = BB_{1} = \frac{AB}{2}$$

Отсечките AA₁ и BB₁ не се пресичат, защото в противен случай ще се получи следната фигура:

от която следва, че:

$$AC+BC < AA_{1} + BB_{1} = AB$$

А това очевидно не е вярно, защото в един триъгълник сборът на кои да е две страни е винаги по-голям от третата.

Построяваме точки A₂ и B₂ такива, че:

$$A_{1}A_{2} = B_{1}B_{2} = \frac{A_{1}B_{1}}{2}$$

По съображения, подобни на изложените по-горе, можем да заключим, че отсечките A₁A₂ и B₁B₂ също не се пресичат. Този процес може да продължи до безкрайност. Следователно правите g и h не се пресичат, а те бяха произволно избрани. Следователно, никои две различни прави в една равнина не се пресичат, или което е същото: всички прави в една равнина са успоредни.

Задачата е известна като “Софизмът на Прокъл”. Доказателството, че  AA₁ и BB₁ не се пресичат,  A₁A₂ и B₁B₂ не се пресичат и т.н., е безупречно, но от това не следва, че g и h не се пресичат, защото е напълно възможно AA₁ да пресича например B₁B₂.