Poincaré duality
を得る。この同型は、ポアンカレ双対性