を満たす整数が唯一つ定まるとき、によって除算を定める。