. . . "Rewriting 10,000 as $1,000*10$ yields $10,000 n + 57 = 1,000(10 n ) + 57$ Now, since n is an integer, 10 n is an integer." . .