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