0PLY Corollary 10 Cohomology groups H¯i(D)\overline{H}^{i}(D) are isomorphic to the cohomology of the total complex of the bicomplex (144).