Most of us have done long division in school, where we divided one number by another to find the quotient and remainder. Why do the quotient and remainder always exist uniquely? The answer is given by Euclidean division, otherwise known as the division algorithm. We prove the Euclidean division theorem here by showing the existence and uniqueness of the quotient and remainder.