除法の原理だった.statementは上記のとおり,整数nと0より大きい自然数dに対してある整数q,rがただ一組存在し,n=qd+r,0<=r<d.