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