Luego "X", es una variedad diferenciable orientable de dimensión "2n", por lo que sus grupos de cohomología residen en grados cero a través de "2n".