3.1.6 - primitive_recursion