ta có [tex]2017...7(mod 10)[/tex]
[tex]2017^{2}...1(mod 10)[/tex]
[tex]2017^{2016}...1(mod 10)[/tex]
[tex]2017^{2017}...7(mod 10)[/tex]
Lại có [tex]1983...3(mod 10)[/tex]
[tex]1983^{4}...1(mod 10)[/tex]
[tex]1983^{1980}...1(mod 10)[/tex]
[tex]1983^{1983}...7(mod 10)[/tex]
[tex]2017^{2017}-1983^{1983}...0(mod 10)[/tex]
Suy ra biểu thức trong ngoặc chia hết cho 10
Vậy số đã cho là số nguyên
Chú thích ... là đồng dư