Let be a smooth complex analytic hypersurface through the blowup centre with . Its multiplicity at that point is one, so . Combining this with the canonical bundle formula for a point blowup gives . The nontrivial powers of the exceptional line bundle of a point blowup prove the equivalence for . On a compact complex curve the premise cannot hold for an irreducible hypersurface: it is one point, so its negative divisor has degree , whereas the canonical bundle has even degree .