topology/algebraic/doldkan: product of eilenberg-maclanes proved