pub trait AddComm: Add<Output = Self> + Sized { }
加法が交換法則を満たすことを示す。
x,y∈S ⟹ x+y=y+x. x, y \in S \implies x + y = y + x. x,y∈S⟹x+y=y+x.