where \(m=\operatorname{mult}_{P_0} D\)  is the multiplicity of \(D\)  at \(P_0\) . Then the following statement is known [1]}.

где \(m=\operatorname{mult}_{P_0} D\) это кратность \(D\) в \(P_0\). Затем известно следующее утверждение [1].