Aplicația este accesibilă de pe ecrane late

1
Se presupune că concluzia C este falsă ( adică negația lui C este adevărată);
2
Î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ă);
3
În conformitate cu afirmația ”Dacă negația lui C, atunci negația lui I ”, concluzia C a teoremei este adevărată.