linear congruence theorem