ポアンカレの補題
より一般に、可縮な多様体 M について次が成り立つ。
H k ( M ) = 0 ( k > 0 ) . {\displaystyle H^{k}(M)=0\quad (k>0).}