Source: https://www.enseignement.polytechnique.fr/informatique/INF412/uploads/Main/pc-primrec-sol2014.pdf