ホッジ理論
By assumption formula_52 and formula_51 are in the same cohomology class formula_38, so the formula_57-lemma from Hodge theory implies there exists a smooth function formula_58 such that formula_59.