数论 同余 咋么得出的