Chain homotopy equivalence