Divisibility and Congruence