核同余

kernel congruence