әгәр a {\displaystyle a} натураль һаны b {\displaystyle b} натураль һанының артынан да, шулай уҡ c {\displaystyle c} натураль һаны артынан да килһә, ул саҡта b = c {\displaystyle b=c} (әгәр S ( b ) = a {\displaystyle S(b)=a} һәм S ( c ) = a {\displaystyle S(c)=a} , ул саҡта b = c {\displaystyle b=c} );