It is straightforward to check that the homology of Er with respect to this differential is Er+1, so this gives a spectral sequence.
Нетрудно проверить, что гомологии Er относительно этого дифференциала — это Er+1, так что мы получаем спектральную последовательность.