Compatibility of Chain Homotopy with Composition