EuclidsLemma 2001-10-16 08:54:19 2004-12-29 07:44:59 Theorem number theory \usepackage{amssymb} \usepackage{amsmath} \usepackage{amsfonts} \usepackage{graphicx} \usepackage{xypic} If $a$, $b$, and $c$ are integers (or, more generally, elements of a principal ideal domain) with $a | bc$ and $\mbox{gcd}(a,b)=1$, then $a | c$.