Aplicația este accesibilă de pe ecrane late

1
Contrazicerea obţinută demonstrează că presupunerea este greşită (falsă), adică este adevărată concluzia „dreptele sunt confundate”. Ceea ce trebuia demonstrat (c.c.t.d.).
2
Presupunem că nu este adevărată concluzia „dreptele sunt confundate”, 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ă”