SummaryAn idea of T. Estermann (1975) for demonstrating the irrationality of √2 is extended to obtain a conceptually simple proof of Gauss's Lemma, according to which real roots of monic polynomials with integer coefficients are either integers or irrational. The standard proof of the lemma is also reviewed.