Primitive Recursive Arithmetic Formula