帶餘數除法

設a，b是兩個給定的整數，a≠0，那么，一定存在唯一一對整數q與r，滿足b=qa+r，0≤r<|a|
此外，a|b的充要條件是r=0