Ar naturālu skaitli atļauts veikt šādas darbības:
Vai, atkārtoti izpildot šīs darbības, no skaitļa \(30\) var iegūt skaitli \(2015\)?
Nē, nevar. Kā invariantu aplūkojam dalāmību ar \(3\) - skaitlim \(30\) izpildās īpašība "dalās ar \(3\)", bet skaitlim \(2015\) šī īpašība neizpildās.
No otras puses, ja kāds skaitlis dalās ar \(3\), tad skaitlis, kas no tā tiek iegūts ar uzdevumā dotajām darbībām, arī dalās ar \(3\).
Pārbaudām pēdējo apgalvojumu:
Tātad, ja dotais skaitlis dalās ar \(3\), tad pēc atļauto darbību izpildes arī jauniegūtais skaitlis dalīsies ar \(3\).
Skaitlis \(2015\) ar \(3\) nedalās, tātad ar atļautajām darbībām to iegūt nevar.