Okamoto-Uchiyama

加法準同型性 がある