奇异同调中含退化单形与不含退化单形的同调群相等的一般性证明问询

我最近研究同调理论时遇到了一个困惑，想请教大家：

• 在立方同调里，我们必须考虑退化立方形构成的群，再用立方形群模掉退化立方形群（参考Massey的相关内容），不然计算单点空间的同调会得到错误结果。
• 但到了奇异同调领域，每本教材都提到不需要排除退化单形，因为不管排除与否，最终得到的同调群都是一致的。单点空间的情况确实很容易验证，但我想要的是一般性的证明——不管是任意维数、任意拓扑空间，排除退化单形和不排除的同调群都完全相等。

我发现很多教材只会给出这个结论，却完全不提供证明过程，我不想就这样凭“信仰”接受它。之前我还读过Tucker的一篇老论文，标题是Degenerate cycles bound，但我搞不懂怎么把这篇论文里的结论应用到奇异同调的场景中。

有没有大佬能给我讲讲这个一般性证明的思路，或者教教我怎么用Tucker的那篇论文来解决这个问题呀？非常感谢！

备注：内容来源于stack exchange，提问作者Ismael cortazar