(定理1-1)

a.b∈Z、b≧0とするとき
a=bq+r.0≦r<b…(*)
を満たすq.rが唯一組定まる