Redirecting to Linear congruence theorem