Negativity Conjecture for the First Hilbert Coefficient

This gives an alternate proof of the Theorem by the authors that shows the first Hilbert coefficient of parameter ideals in an unmixed Noetherian local ring is always negative unless the ring is Cohen–Macaulay.