User:VAFisher/sandbox

may be written as a sequence corresponding to filtration
 * $$ 0 = H_p(K_0)\rightarrow H_p(K_1)\rightarrow \ldots \rightarrow H_p(K_n)= H_p(K) $$