>>673
場合によっては、環の公理に「1を含む」を入れない場合がある
その場合はφ(1)=1はいらない