Giải thích các bước giải:
Ta có:
$a+1,b+2007\quad\vdots\quad 6$
$\to a+1,b+2007\quad\vdots\quad 2$
$\to a,b$ lẻ
$\to 4^a+a+b\quad\vdots\quad 2(1)$
Mặt khác $a+1,b+2007\quad\vdots\quad 3$
$\to a+1+b+2007\quad\vdots\quad 3$
$\to a+b+1\quad\vdots\quad 3$
$\to a+b+1\quad\vdots\quad 3$
Mà $4\equiv 1(mod\quad 3)$
$\to 4^a\equiv 1^a\equiv 1(mod\quad 3)$
$\to 4^a+a+b\equiv 1+a+b\equiv 0(mod\quad 3)$ vì $a+b+1\quad\vdots\quad 3$
$\to 4^a+a+b\quad\vdots\quad 3(2)$
Vì $(2,3)=1$ kết hợp $(1),(2)\to 4^a+a+b\quad\vdots\quad 6$