............. states that for any two positive integers a and b we can find two whole numbers q and r such that a=b×q+r where 0≤r<b.