Primitive Recursive Arithmetic Function Definition