Difficulty in proving that Q[z] is a field if z is an algebraic complex number
If $A$ an integral domain contains a field $K$ and $A$ over $K$ is a finite-dimensional vector space, then $A$ is a field.