Proof of the Main Theorem for y^d=f(x)