\begin{definition}[Definition:Irreducible Polynomial/Definition 2]
Let $K$ be a field.
An '''irreducible polynomial''' over $K$ is a nonconstant polynomial over $K$ that is not the product of two polynomials of smaller degree.
\end{definition}