https://9pdf.net/document/y8g3p0x0-notes-on-the-homology-of-local-rings.html