>>205
x_0を基点とする位相空間X上のループとy_0を基点とする
位相空間Y上のループの積のことだと思うのですが、どのような
同型写像を作れば、同型が示せるのでしょうか?