Using the product formula , where are homotopy equivalences and are induced by choosing basepoints, this is trivial since .