 If \(n\) is a numeral, then \(Pn\) reduces to \(n\textsf{KI}(n( \textsf{KI}))\), which suggests that for positive numbers, \(P\) could have been defined to be the term \(\textsf{T}(\textsf{KI})\), because  \(\textsf{T}(\textsf{KI})n\) reduces to \(n-1\) whenever \(n\) is a term of the form \(\textsf{V}(\textsf{KI})(n-1)\).