Representability of Primitive Recursive Functions in Peano Arithmetic