Euclid's lemma
He basically proposed that for any two integers (let us call them 'a' and 'b') there exists 2 unique integers (Let us call them ' q ' and ' r ') that satisfies the equation, a = qb + r, where r<a.