Fue establecida en términos de los números de Betti: El "k"-ésimo y ("n"-"k")-ésimo números de Betti de una variedad orientable "cerrada" (es decir compacta y sin borde) son iguales.