mmn

congruence