位相空間Ｘ上の点ｐを基点とするループをπ（Ｘ，ｐ）と書くとき、
π（Ｘ×Ｙ，（ｘ_0，ｙ_0））とπ（Ｘ，ｘ_0）×π（Ｙ，ｙ_0）が
同型であることを示したいのですが、同型写像をどのように定めればいい
のでしょうか？
宜しくお願いします。