One can easily show that a chain homotopy is a quasi-isomorphism, so the second step in the above construction may be omitted.
A chain homotopy is a quasi-isomorphism. One can easily show this. The second step in the above construction may be omitted.