Question
What does it mean that `alpha` is trancendental over F:
A) `alpha` satisfies a polynomial equation with coefficients
in F, making `F(alpha)` a small finite field over F.
B) `alpha` does not satisfy any polynomial equation with
coefficients in F, making `F(alpha)` a big field, like
fractions with `alpha`
?