Minimal Polynomial Exists

Theorem
Let $L / K$ be a field extension.

Let $\alpha \in L$ be algebraic over $K$.

Then there exists a minimal polynomial $f \in K \sqbrk x$ for $\alpha$ over $K$.

Also see

 * Minimal Polynomial is Unique