Chp 4. Congruence