Division mit Rest
Since , we get that and , which proves the uniqueness part of the Euclidean division theorem.