Let $A \in \mathbb{C}^{n \times n}, C \in \mathbb{C}^{m \times n}, J \in \mathbb{C}^{m \times m}$, let $\lambda_1, \ldots, \lambda_k$ denote the distinct eigenvalues of $A$; and let $P$ be a solution of the Stein equation $P-A^H P A=C^H J C$. Show that if $1-\lambda_i \overline{\lambda_j} \neq 0$ for $i, j=1, \ldots, k$, then $\mathcal{N}_{\mathfrak{D}} \subseteq \mathcal{N}_P$. [HINT: $\mathcal{N}_{\mathcal{D}}$ is invariant under A.]