1: \begin{proof}

2:  Since $\theta$ is Einstein, $[\Delta_b,T]=0$ and the operator $C$ defined in Subsection~\ref{subsec:pluri/pluri} satisfies $C=\Delta_b^2+n^2T^2$.  A straightforward computation reveals that, for $c_\ell$ and $d_\ell$ as in Proposition~\ref{prop:factorisation_p},

3:  \begin{multline*}

4:   \left(-\Delta_b + c_\ell i\nabla_0 + d_\ell P\right)\left(-\Delta_b - c_\ell i\nabla_0 + d_\ell P\right) \\= \frac{c_\ell^2}{n^2}C + \frac{d_\ell}{n}\left(-\Delta_b + (n-c_\ell)P\right)\left(-\Delta_b + (n+c_\ell)P\right) .

5:  \end{multline*}

6:  Inserting this into~\eqref{eqn:factorisation_p} and recalling that $\mP\subset\ker C$ yields

7:  \[ P_{2k}\big\rvert_{\mP} = \begin{cases}

8:          \displaystyle\prod_{\ell=1}^{\frac{k}{2}} \frac{d_\ell}{n}\left(-\Delta_b + (n-c_\ell)P\right)\left(-\Delta_b + (n+c_\ell)P\right), & \text{if $k$ is even} \\

9:          Y\displaystyle\prod_{\ell=1}^{\frac{k-1}{2}} \frac{d_\ell}{n}\left(-\Delta_b + (n-c_\ell)P\right)\left(-\Delta_b + (n+c_\ell)P\right), & \text{if $k$ is odd} .

10:                             \end{cases} \]

11:  Equivalently, we have that

12:  \begin{equation}

13:   \label{eqn:GJMS_pluriharmonic}

14:   P_{2k}\big\rvert_{\mP} = \prod_{\ell=1}^k\frac{n-k-1+2\ell}{n}\bigl(-\Delta_b + (n-k-1+2\ell)P\bigr) .

15:  \end{equation}

16:  Formally we have that

17:  \begin{align}

18:   \label{eqn:formal_Pprime} P_{2n+2}^\prime & = \left( \frac{2}{n-k+1}P_{2k}\big\rvert_{\mP}\right)_{k=n+1} \\

19:   \label{eqn:formal_Qprime} Q_{2n+2}^\prime & = \left( \frac{4}{(n-k+1)^2}P_{2k}(1)\right)_{k=n+1} .

20:  \end{align}

21:  Inserting~\eqref{eqn:GJMS_pluriharmonic} into~\eqref{eqn:formal_Pprime} yields~\eqref{eqn:factorisation_pprime}.  Inserting~\eqref{eqn:GJMS_pluriharmonic} into~\eqref{eqn:formal_Qprime} yields~\eqref{eqn:factorisation_qprime}.  As discussed in Subsection~\ref{subsec:pluri/pluri}, this argument is made rigorous via log densities.

22: \end{proof}

23: