除法の原理

• 非負整数$a,b$に対し、$b=aq+r$を満たすような非負整数$q,r(0\le r<a)$が一意に存在する
• $a$: 除数、$b$: 被除数、 $q$: 商、$r$: 剰余