Equivalence of Definitions of Irreducible Polynomial over Field

Theorem
Let $K$ be a field.

Proof
Note that by Field is Integral Domain, $K$ is indeed an integral domain.