Finished proof that Q\xi is a chain map.