At a point of $w^2=h(t)$ over a root $c$ of $h$, the derivative $h'(t)$ is a unit of the local ring

Initializing...

At a point of $w^2=h(t)$ over a root $c$ of $h$, the derivative $h'(t)$ is a unit of the local ring · Prove2Me