Which statement is correct about the setup and diagram:
A) `alpha` being transcendental over F means `F(alpha)` is a finite extension, and we will next explore a polynomial over F that `beta` satisfies.
B) `alpha` being algebraic over `F(beta)` suggests a polynomial with coefficients in `F(beta)` that `alpha` satisfies, which we will use to investigate `beta's` relation to `F(alpha)` ?