ta có 1986≡0(mod3)
<=> 19862004≡0(mod3)
<=> 19862004-1≡-1(mod3)
=> 19862004 không chia hết cho 3 (1)
Ta lại có : 1000≡1(mod3)
<=> 10002004≡12004≡1(mod30
<=> 10002004-1≡0(mod3)
do đó 10002004-1 \(⋮\)3 (2)
Từ (1) và (2) ta có M không thể là số nguyên (dpcm)