カール・フリードリヒ・ガウス
Gauss's lemma can mean any of several lemmas named after Carl Friedrich Gauss: