Cum 2a+3b+5c=13*n+7 (am aplicat Teorema impartirii cu rest) si
34a+51 b+85c=17(2a+3b+5c), folosim prima relatie pentru paranteza din a doua relatie si obtinem:
34a+51 b+85c=17(13*n+7)=13*17*n+17*7=13*(17*n)+119=13*(17*n)+13*9+2=
=13*(17*n+9)+2, deci restul impartirii la 13 este 2.