Giải thích các bước giải:
Ta có:
$1994\equiv -1(mod 3)$
$\to 1994^7\equiv(-1)^7\equiv-1(mod3)$
$\to 1994^7+7\equiv-1+7\equiv6\equiv0(mod3)$
$\to 1994^7+7\quad\vdots\quad 3(1)$
Lại có:
$1994\equiv 5(mod 9)$
$\to 1994^7\equiv 5^7\equiv (5^3)^2\cdot 5\equiv 1\cdot 5\equiv 5(mod 9)$
$\to 1994^7+7\equiv 5+7\equiv 12\equiv 3(mod 9)$
$\to 1994^7+7\quad\not\vdots\quad 9(2)$
$\to 1994^7+7 $ không là số chính phương
