This is a nonconstant polynomial, so it has aroot because k is algebraically closed. At aroot, neither x nor t−x can vanish, and the equation also forces P(x)=0. The displayed value of y is therefore defined and nonzero, satisfies y2=P(x), and obeys F(x,y)=t. Thus F is surjective.