pub trait AddAssoc: Add<Output = Self> + Sized { }
加法が結合法則を満たすことを示す。
x,y,z∈S ⟹ (x+y)+z=x+(y+z). x, y, z \in S \implies (x + y) + z = x + (y + z). x,y,z∈S⟹(x+y)+z=x+(y+z).