Introduction to Congruence