Carl Friedrich Gauss
Gauss's lemma can mean any of several lemmas named after Carl Friedrich Gauss: