三次元球面のホモロジー群は、次および次が無限巡回群でそれ以外はすべてである: