Congruence and Lengths