Why is testing if x > y primitive recursive?
Hint: One possible approach is to compose the functions $x\dot{-}y = \max(x-y,0)$ and $\delta(z) = \begin{cases} 0 &amp; z=0, \\ 1 &amp; z&gt;0 \end{cases}$.