Subsection I.5.2.3

The division algorithm with remainder