Redirecting to Gauss's lemma