Polynomial ring Polynomial factor theorem Let 𝑅 be a commutative ring, 𝑎 ∈𝑅 and 𝑓(𝑥) ∈𝑅[𝑥]. Then #m/thm/ring 𝑓(𝑎)=0⟺𝑥−𝑎∣𝑓(𝑥). Proof#missing/proof See also 𝕂[𝑥] is a Euclidean domain if 𝕂 is a field. #state/develop | #lang/en | #SemBr