同余定理推论