Serre duality (Theorem 13.6)