Given the following definition: "An element `alpha` of an extension field E is transcendental over F if and only if `alpha` is not a zero of any nonzero polynomial in F[x]". Every element in the extension field E is trivially a root of the zero polynomial. Our definition above has excluded the zero polynomial. Is that necessary ?