topology/algebraic: doldkan proved