Gauss's Lemma