>>153

余りの一意性はどうやって証明するのでしょうか?