finished correspondence between cycle modules and homotopy module