(1) 略(2),(3) 定義よりであり、と定義する。 ここで、命題：「を満たす整数がただ一通り存在する」を、についての帰納法で示す。 は確かになりたつ。ある整数以下のについての成立を仮定すると、 であるから、帰納法の仮定よりが成り立つ。 よって数学的帰…