非負の有理数までしか扱わないのに交換法則なんて明らかでいいだろ
実数の交換法則の証明なんて大学まで行かないとできないし