show/hide this revision's text 1 [made Community Wiki]

Ring theory: If R is a UFD, then so is R[x].