Với `a,b,c,d,e,g` là các chữ số và `a \ne 0; d \ne 0` thì ta có :
`\overline{abcdeg} = 1000.\overline{abc} + \overline{deg}`
Mà `\overline{abc} = 2.\overline{deg}` nên
`\overline{abcdeg} = 1000.2. \overline{deg} + \overline{deg}`
`\overline{abcdeg}= 2000. \overline{deg} + \overline{deg}`
`\overline{abcdeg}= 2001. overline{deg}`
` \overline{abcdeg}= 23 . 87 . \overline{deg}`
Vì `d,e,g` là các chữ số nên `\overline{deg} \in N*`
`=> 23. 87 . \overline{deg} in N*`
`=> 23 . 87 . \overline{deg} \vdots 87 (do\ 87 \vdots 87)`
`=> \overline{abc} \vdots 87`
