Cohen-Macaulay/Finite projective dimension/Transport of cohomology/Regular/Example