Aplicația este accesibilă de pe ecrane late

1
În baza presupunerii, se parcurge un raţionament logic, până când se ajunge la o contradicţie sau până când se arată că ipoteza I este falsă (adică negaţia lui I este adevărată).
2
În conformitate cu afirmaţia (*), concluzia C a teoremei este adevărată.
3
Se presupune că este falsă concluzia C (adică negaţia lui C este adevărată).