== Ongelma käänteisen todistuksen kanssa... == 

 Todistaessasi käänteislukua käytät sitä, että n:n ja n+1:n välillä ei ole kokonaislukua. Ongelmana on, että standarditodistus käyttää hyvien järjestysten käyttöä.