Hello there. I have the following problem:

Suppose that is algebraic over for some in an extension field of the field . If is transcendental over , show that is algebraic over .

I've tried writing down the minimal polynomial for over and playing around with that, but I haven't had any luck. I am also somewhat baffled by the transcendental assumption - where does it even come in to play, and how can I write it down? (I usually see it defined as a negative.)

Just a hint in the correct direction would be appreciated.