әгәр 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} );