Equivalence of Definitions of Minimal Polynomial

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

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

1 iff 2
By Annihilating Polynomial of Minimal Degree is Irreducible, it follows that the two are equal.