Gauss's lemma