Ring is an integral domain if for every : Field of Fractions Lemma If is an integral domain, so is . Lemma Let be an integral domain and . Then the number of roots of in is at most . Proposition Any finite integral domain is a Field.