1 . 设a，b为非负整数，m为正整数，若a和b被m除得的余数相同，则称a和b对模m同余，记为．
(1)求证：；
(2)若p是素数，n为不能被p整除的正整数，则，这个定理称之为费马小定理．应用费马小定理解决下列问题：
①证明：对于任意整数x都有；
②求方程的正整数解的个数．