`N = 10 xx 10 xx 10 xx 10 xx 10 xx 10 xx 10 + 71`
`=> N =` $\underbrace{10...000}_{7 chữ số 0}$ `+ 71`
`=> N =` $\underbrace{10...071}_{5 chữ số 0}$
Ta có: `1 + 0 + ... + 0 + 7 + 1 = 9 vdots 9`
`=>` $\underbrace{10...071}_{5 chữ số 0}$ `vdots 9`
`=> N vdots 9`