n:16=126, rest a; a < 16
(n+158):17=127, rest b; b < 17
n=126•16+a=2016+a
n+158=17•127+b=2159+b
n=2016+a=2159+b-158
2016+a=2001+b /-2001
a+15=b; b<17=> a∈{0;1}
a=0=> b=15=> n=2016; (restul a=0)
a=1=>b=16=> n=2017
n∈{2016; 2017}
succesorul lui n∈{2017; 2018}
Daca restul este nenul, n=2017, succesorul lui n=2018