Source: https://www.lri.fr/~conchon/PF/recursivite-2x2.pdf