3 Division

If you think you already know how to divide, well perhaps you are right. However,

in this chapter, we will define these notions formally and properly prove things

we already know (plus maybe some new things).