Let be the sheaf of holomorphic -forms and the sheaf of smooth -forms. The Dolbeault-Poincaré lemma makes
an exact resolution by fine sheaves, which are acyclic for global sections. Its global cochain complex computes Dolbeault cohomology, proving the Dolbeault theorem