Pierādījumu pareizību tehnika, pēc kuras apgalvojumi ir rakstīti apraksta programmas ieejas, izejas un starpniecības nosacījumiem, virkni teorēmu ir izstrādāts saistībā ar gandarījumu ievades izvades apgalvojumus par lielu gandarījumu apgalvojumus un teorēmu ir pierādījusi vai noliegta, izmantojot indukcijas pierādījumu.