Question
Let `alpha` be transcendental over a field F and
algebraic over `F(beta)`. Which of the following
necessarily follows from this information:
A) There exists a non-zero polynomial `p(x) in F(beta)[x]`
such that `p(alpha) = 0`
B) There exists a non-zero polynomial `p(x) in F(alpha)[x]`
such that p(beta) = 0
?