Notez numarul cu a.
Cunoastem faptul ca restul este intotdeauna mai mic decat impartitorul. Asadar, cel mai mare rest posibil obtinut prin impartirea la 6 este predecesorul acestuia, adica 5.
Avem:
a:6=9, rest 5
Conform Teoremei Impartirii cu Rest (TIR) rezulta ca:
a=9*6+5
a=54+5
a=59
Deci Irina se gandeste la numarul 59.