I don't see that implication. I see that Nicholson uses that definition specifically for when is transcendental, but I do not see any indication by him that it would not be true when is algebraic. The proof that it is true for when is algebraic should be identical to the one where it is transcendental, possibly even easier. Given any , can you show that ? If so, then you are done.