Prove a recursive primitive function with respect to a later program

Either a simple posture program with E = {1} to S.
Regardless of the function used, how can I prove it primitive recursive when the input is the coding of the postprocessing program?