同余定理的三个步骤