Normality is polynomial-closed

For commutative unital rings
The polynomial ring over a normal ring is also a normal ring.

For integral domains
The polynomial ring over a normal domain is also a normal domain.

Facts used

 * 1) uses::Polynomial ring over integrally closed subring is integrally closed in polynomial ring

Proof
The proof follows directly from fact (1).