>>129
別にお前が仮定しなくても交換律は成り立つんだよ