5. Mathematical details

TODO