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