Showing that xi_ch is a chain map.