关于模10同余是很容易证的.
可以两者求差分解因式,或将1994^1994写成(1990+4)^1994调用二项式定理.
如果是其他的模,
那么它就是
1994^1994-4^1994的某个因数.看情况再处理.