Equivalence of Definitions of Polynomial Ring