Linear congruence theorem