Subsection I.1.9.3

Division algorithm in Z\mathbb{Z}