位相空間では無限和と無限積がずれるからそうとも言えない
結局アーベル群で考えることになるので可換律でよい
さあどうする有限和の和と積の法則くん