Además la función de Ackerman (formula_6) no es FRP (función recursiva primitiva).