例文Corollary 2 to Proposition 16, a divisorial ideal is principal if it admits a finite free resolution, which is indeed the case by the theorem . \ square