Poincaré Lemma If a differential form , is closed, then for each there is a neighborhood of for which is exact. Proof todo