Establece que para un subconjunto abierto contractible de "X", cualquier "p"-forma diferenciable definida en "X" que sea cerrada, es también exacta, para cualquier número entero "p" > 0 (esto tiene contenido solamente cuando "p" es a lo sumo "n").