Afirma que si "M" es una variedad orientada compacta "n"-dimensional, entonces el "k"-ésimo grupo de cohomología de "M" es isomorfo al ("n"-"k")-ésimo grupo de homología de "M", para todos los números enteros "k".