Aplicația este accesibilă de pe ecrane late

1
Contrazicerea obținută demonstrează că presupunerea este greșită (falsă), adică concluzia ”drepte confundate” este adevărată. Ceea ce trebuia demonstrat.
2
Presupunem că concluzia ”dreptele sunt confundate” nu este adevărată, adică fie că dreptele sunt diferite.
3
Obținem că prin două puncte diferite trec două drepte diferite, ceea ce contrazice axioma ”Oricare două puncte diferite determină o unică dreaptă”.