In their 1952 book, Foundations of Algebraic Topology, they proved that the existing homology and cohomology theories did indeed satisfy their axioms.
彼らの1952年の本 Foundations of Algebraic Topology（英語版） において、彼らは存在するホモロジーとコホモロジーの理論は確かに彼らの公理を満たすことを証明した。