pub trait Zero: Add<Output = Self> + Sized { // Required method fn zero() -> Self; }
加法の単位元 $0$ を定義する。
加法の単位元 $0$ を返す。