P
Initializing...
If t is transcendental over R and t, z are not algebraically independent over R, then z is algebraic over R[t] · Prove2Me