Division Algorithm | Divisibility Theory in the Integers