This repository contains solutions -and related work- for some of the exercises presented in From Mathematics to Generic Programming. So far, Chapter 3: Ancient Greek Number Theory Exercise 3.6: Prove that if n and m are coprime, then sigma(nm) = sigma(n) sigma(m). Exercise 3.7: Prove that every even perfect number is a triangular number. Exercise 3.8: Prove that the sum of the reciprocals of the