talk:>>37 積位相空間をどのように定義するかによって証明の仕方は変わる。