Minimal Polynomial is Unique

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

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

Then the minimal polynomial of $\alpha$ over $K$ is unique.

Also see

 * Minimal Polynomial Exists