11. Theorems about division with a remainder