As probably many others before me, I got stuck in verifying all the nice properties of the Hasse invariant. Let me start by recalling one definition:

Let $E\to S$ be an elliptic curve in characteristic $p$ and $V:E^{(p)}\to E$ the Verschiebung isogeny. We get an induced map of sheaves $\text{tg}(V): \underline{\omega}_{E/S}\to\underline{\omega}_{E^{(p)}/S}\cong\underline{\omega}_{E/S}^{\otimes p}$ which is the Hasse invariant $A=\text{tg}(V)\in \text{Hom}_{O_S}(\underline{\omega}_{E/S},\underline{\omega}_{E/S}^{\otimes p})=\text{H}^0(S,\underline{\omega}_{E/S}^{\otimes p})$.

I like this definition because of its direct link to the behaviour on ordinary curves, but I don't know how to compute the q-expansion directly with it. The way Katz-Mazur compute it is by claiming that if the elliptic curve E is equipped with a basis $\omega$ of $\underline{\omega}_{E/S}$ and $D$ is the corresponding invariant derivation, then $D^p=A(E,\omega)D$ where $D^p$ is the $p$th iterate of $D$.

How do we prove that this two definitions are equivalent? Thank you in advance for your help.