О представлении рекурсивных функций

В работе устанавливается простая характеризация примитивно рекурсивных функций $P$ одного аргумента, обладающих тем свойством, что всякая общая рекурсивная функция $n$ аргументов представляется в виде
$$ P(\mu y(Q(x_1,\dots,x_n,y)=0)), $$
где $Q$ –примитивно рекурсивная функция $n+1$ аргументов.