Congruence Complements Theorem