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