Congruence Supplements Theorem