 The universal property says that this map extends uniquely to
("t" maps to "x") where formula_134 is the polynomial function defined by "f".The resulting map is injective if and only if "R" is infinite.Given a non-constant monic polynomial "f" in formula_110, there exists a ring "S" containing "R" such that "f" is a product of linear factors in formula_136.