A là số tự nhiên có 2004 chữ số. A là số chia hết cho 9 ; B là tổng các chữ số của A ; C là tổng các chữ số của B ; D là tổng các chữ số của C.

Vì A là số chia hết cho 9 mà B là tổng các chữ số của A nên B chia hết cho 9. Tương tự ta có C, D cũng chia hết cho 9 và đương nhiên khác 0. Vì A gồm 2004 chữ số mà mỗi chữ số không vượt quá 9 nên B không vượt quá 9 x 2004 = 18036. Do đó B có không quá 5 chữ số và C < 9 x 5 = 45. Nhưng C là số chia hết cho 9 và khác 0 nên C chỉ có thể là 9 ; 18 ; 27 ; 36. Dù trường hợp nào xảy ra thì ta cũng có D = 9.