I am reading the section 4.2 in Kollar-Mori, where they provide the explicit equations for Du Val Singularities. In the course of the proof, they reduce to studying the equation $x^2+f(x,y)=0$ in a neighborhood of the origin in $\mathbb{C}^3$, and where $f$ is a power series of order 3. To argue about the form of the leading term $f_3$, they need to consider a top form around the germ of singularity $0 \in S$. They say they can pick \begin{equation} \frac{dy \wedge dz}{x}. \end{equation} At first I could not quite see why. Then, I argued as follows. Taking implicit differentiation we get \begin{equation} 2xdx+\frac{\partial f}{\partial y}dy+\frac{\partial f}{\partial z}dz=0. \end{equation} Since we already know we are dealing with an $S_2$ surface, it is enough to show the form is defined in a punctured neighborhood of $0 \in S$. Then, I guessed the implicit function theorem should tell me that where $x$ vanishes $(x,y)$ (or $(x,z)$) are local parameters, and that $\frac{\partial f}{\partial z}$ (or $\frac{\partial f}{\partial y}$) does not vanish, and the above form can be written as \begin{equation} -\frac{dx \wedge dy}{\frac{\partial f}{\partial z}} \quad \left(\mathrm{or}\;-\frac{dx \wedge dz}{\frac{\partial f}{\partial y}}\right). \end{equation} This argument looks a bit cumbersome to me. Is there a better way to see the fact I am interested in? Also, is there a more general approach to use in similar situations? In particular, is there a way to read it off from adjuction? Adjunction tells me that the canonical sheaf of $0 \in S$ is generated by \begin{equation} \frac{dx \wedge dy \wedge dz}{x^2+f(y,z)}|S, \end{equation} but I don't know how to make it look like a two form.