a_136：这两个谱序列通常是不同的，但随着 formula_21 增大，它们都收敛到 formula_141，由此可以得到一些有趣的比较定理。
例子.
Tor函子的交换性.利用谱序列，可以迅速导出Tor函子的交换性，即一自然同构：取定平坦分解 formula_143 及 formula_144。视之为集中于正项的复形，其微分映射分别记为 formula_145。考虑双复形 formula_146，其微分映射定义为 formula_147（以使微分映射