pub trait One: Mul<Output = Self> + Sized { // Required method fn one() -> Self; }
乗法の単位元 $1$ を定義する。
乗法の単位元 $1$ を返す。