State Euclid's division lemma.

Euclid's division lemma, states that for any two positive integers a and b, there exist unique whole numbers q and r, such that
a = b × q + r where 0 ≤ r < b