\section{Introduction}
\label{sec:intro}

Brain arteriovenous malformations (bAVMs) are an entanglement of abnormal vessels, produced when dilated feeding arteries shunt blood directly into arterialised draining veins\cite{dumont2017brain, rutledge2017brain}. If untreated, these pathological alterations have an associated risk of hemorrhages, with significant morbidity and mortality rates\cite{rutledge2014hemorrhage}. Indications for bAVMs treatment vary according to its classification---depending on factors such as the nidus size, number of feeding arteries and draining veins (hereinafter called structures of interest) and its anatomical location---and on whether it is ruptured or not \cite{spetzler1986proposed, lawton2010supplementary}.

Different imaging protocols are used depending on the clinical scenario \cite{tranvinh2017contemporary}. In non-traumatic settings, computed tomography angiography (CTA) or magnetic resonance angiography (MRA) are frequently used as initial 3D examinations, since they do not require catheterisation. For intraoperative assistance, 3D rotational angiography (3DRA) provides high-resolution images of the vascular anatomy of the bAVM. In this study we focus on this particular modality, which allows for a clearer definition of the structures of interest \cite{dumont2017brain}.

Determining the morphology and topology of a bAVM using 3DRA allows to efficiently extract vital information for clinicians, such as size, shape, location and number of each of the structures of interest.
The adequate estimation of these morphological properties depends highly on the acquisition of a precise vascular segmentation. Computational techniques can help to alleviate the extremely tedious and time-consuming task of manually delineating these structures. However, brain vessel segmentation remains an open problem, specially in challenging scenarios such as bAVMs \cite{babin2013brain, forkert2013computer}.

As recently stated by Moccia \textit{et al}. \cite{moccia2018blood}, the effectiveness of these methods is determined not only by the algorithm itself but also by the imaging modality, the presence/absence of noise or artifacts, and the anatomical region of interest. Moreover, assessment of the segmentation quality varies according to the task at hand.
For example, in applications such as simulating the deployment of intrasaccular devices for treating aneurysms \cite{dazeo2021intra, munoz2022simulation}, it is only required to have an accurate segmentation within the aneurysm region. Standard intensity-based segmentation methods---such as thresholding or region growing---achieve good results in this setting because relevant foreground voxels share uniformity.
bAVM studies, on the other hand, require a robust coverage of low-intensity distal vessels and of the noisy entanglement of the nidus and draining veins.
While non-deep learning-based alternatives have been proposed specifically for 3DRA images with bAVMs, these had either scarce\cite{chenoune2019three} or no\cite{clarenccon2015elaboration,li2014segmentation} quantitative validation on real images, or rely heavily on user input\cite{clarenccon2015elaboration}, thus hampering their reproducibility.

Deep learning approaches have been used on a wide variety of biomedical imaging problems\cite{baldi2018deep, haque2020deep}, including the segmentation of the brain vasculature. However, they are either applied on healthy vasculatures\cite{phellan2017vascular, chen20173d} or in images of subjects suffering from other conditions such as acute stroke and steno-occlusive disease\cite{hilbert2020brave}.
To the best of our knowledge, no methods have been specifically introduced or designed for bAVM segmentation. We believe this could be due to the difficulties in producing an appropriate training set for this task, as irregular blood flow in bAVMs compromises the consistency of the contrast distribution \cite{borden20063d}. Thus, without enough morphological references to rely on, manual annotation becomes tedious, extremely time-consuming and prone to errors and high inter- and intra-observer variability. On the other hand, this also hampers the performance of standard methods to produce first trustworthy initial guesses to work on, requiring an intense posterior polishing labour. Furthermore, bAVMs are a rare condition, which reduces the number of available images to annotate. As a result, collecting a large enough comprehensive data set with densely annotated scans for training deep models becomes prohibitive.

In this paper we propose to overcome this limitation by introducing the first deep learning approach for segmenting challenging bAVMs on 3DRA images. To this end, we densely annotated all brain vessel structures, including feeding arteries, draining veins and the AVM nidus and fistulas, on a private dataset of 5 volumetric 3DRA scans of patients with bAVMs. The resulting dataset allowed us to perform a first comparative study of segmentation performance in the context of bAVM analysis. By building on top of the self-adapting UNet model introduced by Isensee \textit{et al.}\cite{isensee2021nnu}, we defined a 3D patch-based architecture trained with a combination of a standard segmentation losses and a soft centerline Dice\cite{shit2021cldice} based objective. Despite being trained with a reduced amount of data, our final model shows to be accurate enough to display the regions of interest of the bAVM, consistently finding distal arteries and venous structures that sometimes were not even present in the actual ground truth. Hence, this early model could be used to produce first initial guesses of the vasculature in a more trustworthy way, easing the task of generating manual ground truth labels. Furthermore, it opens the way towards applications such as achieving a better delineation of the nidus drainage, assisting transvenous interventional planning and achieving a larger labelled dataset to train more robust solutions. This line of work holds clinical relevance as it aims towards acquiring a quantitative assessment specific to each patient, which would ultimately allow for a better treatment outcome.

\section{Methods and Materials}

\subsection{Dataset and image acquisition}
\label{sec:dataset}

Our dataset comprises 5 contrast-enhanced 3DRA scans of subjects with bAVM (3 assigned female at birth, with ages ranging from 23 to 55 years), collected at the Changhai Hospital (Naval Medical University, Shanghai, P. R. China) before interventional treatment. Data collection was approved by the clinical review board of this medical institution.
The images were acquired with a Siemens AXIOM-Artis LEO22541 station with an isometric voxel size of 0.36mm--0.46mm, resulting in high resolution volumes of 397 to 511 slices of $512 \times 512$ pixels each.

\subsection{Segmentation model}

   \begin{figure} [t!]
   \begin{center}
   \begin{tabular}{c}
   \includegraphics[width=0.97\textwidth]{figures/3dunetv33.pdf
   \end{tabular}
   \end{center}
   \caption[UNet]
   { \label{fig:unet}
   Architecture of the proposed 3DUNet for brain vessel segmentation in bAVM cases. Inputs are patches of size $64 \times 64 \times 64$ pixels, extracted from the normalised 3DRA volume. Downsampling is performed with strided convolutions and upsampling with transposed convolutions. The last four layers of the decoder produce auxiliary segmentation outputs that are used for deep supervision.}

   \end{figure}

\subsubsection{Network architecture}

All five volumes were cropped to the region of interest, removing sections without vasculature. Images were upsampled to have a uniform spacing of 0.227mm across all cases. Volume voxels were also normalised according to the mean and standard deviation of the intensities of each image

Our network is based on the nnUNet\cite{isensee2021nnu} framework, which allows to find optimal configurations of UNets\cite{ronneberger2015u,cciccek20163d} for biomedical image segmentation by self-adapting them to heterogeneous datasets. We adapted the available source code to train the UNet models with self-configured parameters, such as number of layers and convolutions, as well as patch and batch size.

Due to the limited amount of samples, we trained five models to segment 3DRA images of bAVMs through a leave-one-out cross-validation \cite{goodfellow2016deep} configuration. Given that our images are volumetric, using the whole angiography as input to the network is computationally prohibitive, as the amount of RAM required to process the produced feature maps exponentially surpassed our hardware disponibility. Additionally, patch-based training is a useful strategy to maximise training data. Hence, to train a 3DUnet architecture as depicted in Figure \ref{fig:unet}, we used patches of $64 \times 64 \times 64$ pixels.

The encoder in our 3DUNet performs four downsampling operations with strided convolutions, starting with 32 kernels and duplicating them at each layer. The decoder uses transposed convolutions to upsample the input feature maps. Each convolutional layer is followed by instance normalisation and leaky ReLU as a non-linearity. Additional segmentation outputs are obtained from the last four layers for deep supervision\cite{lee2015deeply}.

\subsubsection{Loss function}
Two different objectives were used for training, seeking the most adequate approach to segment the vessel structures in images with bAVMs.
Firstly, we followed a combined cross-entropy and Dice based loss approach \cite{taghanaki2019combo}, namely:
\begin{equation*}
 \mathcal{L}_\text{combo}  = (1-\alpha)\mathcal{L}_\text{CE} + \alpha\mathcal{L}_\text{Dice},
\end{equation*}
\noindent where $\mathcal{L}_\text{CE}$ represents the cross-entropy loss, $\mathcal{L}_\text{Dice}$ the soft Dice loss, and $\alpha \in [0,1]$ the weighted contribution of the Dice term to $\mathcal{L}_\text{combo}$. The Dice loss is widely used in the context of image segmentation, particularly in presence of a class-imbalanced problem. As Dice is undefined when the target of interest is not present in the image, the cross-entropy loss is added as an extra term to penalize errors in these cases and to provide gradient stability. Furthermore, notice that, as the optimal value of Dice coefficient is $1$ (given with absolute prediction-ground truth overlap), its value is internally multiplied by $-1$ to optimise the Dice loss function by its minimum value.

Additionally, we defined a second loss function which includes a centerline-focused metric:
\begin{equation*}
    \mathcal{L}_\text{combo+clDice} =(1-\alpha)\mathcal{L}_\text{CE} + \alpha((1-\beta)\mathcal{L}_\text{Dice} + \beta\mathcal{L}_\text{clDice}),
\end{equation*}
where $\mathcal{L}_\text{clDice}$ is a soft centerline Dice loss function\cite{shit2021cldice} that favours overlap based on a centerline approximation and vascular connection, instead of sparse voxel overlap. The soft centerline Dice coefficient is internally multiplied by $-1$ to obtain its loss value. $\beta \in [0,1]$ is the weighted contribution of $\mathcal{L}_\text{clDice}$ to the overlap term. We implemented this function to work on 3D images, obtaining soft-skeletons based on pooling operations.

\subsubsection{Experimental setup}
   \begin{figure} [t!]
   \begin{center}
   \begin{tabular}{c}
   \includegraphics[width=0.87\textwidth]{figures/methodcolorful4.pdf
   \end{tabular}
   \end{center}
   \caption[whatsthis]
   { \label{fig:workflow}
Schematic overview of the leave-one-out cross-validation training. Each case in turn is reserved to act as test set. The network is trained then over the remaining four: three cases serving as training set and the last one as validation. The result is set of five 3DUNets trained over our five annotated cases.}
   \end{figure}

In a leave-one-out cross-validation fashion as shown in Figure \ref{fig:workflow}, each of the five models was trained using a fixed batch size of 2 $64 \times 64 \times 64$ pixels patches randomly extracted from a set of 4 cases (3 volumes serving as train set and 1 as validation). Initial learning rate of 0.01, stochastic gradient descent with Nesterov momentum ($\mu = 0.99$) for 250 epochs and loss weights $\alpha=0.5$ and $\beta=0.5$.
Test case prediction was done patch-wise using a sliding window with 50\% overlap, using Gaussian-window weights\cite{isensee2021nnu} to merge all score maps into a single volume and reduce stitching artifacts. Final binarisation of the score map was done with a fixed threshold of 0.5.
The models were trained on a station with 32GB RAM, Intel Core i5-8400 processor and using a GPU NVIDIA GeForce RTX 3060 12GB.

\subsection{Data annotation}

Each study was retrospectively processed to produce reliable ground truth annotations of the brain vasculature for both training and evaluating the proposed model. First initial guesses of the structures of interest were obtained by semi-automatically segmenting the major arteries using empirically defined regions (similar to octree subdivisions) and threshold values (adjusted individually to each region). These annotations were heavily corrected by hand by an engineer with cerebral angiographies analysis expertise, using the segmentation editor provided by 3D Slicer\cite{fedorov20123d}. The correction protocol consisted of adding missing branching vessels, separating merged vessels, segmenting the AVM nidus and covering the venous drainage. The entire manual processing took approximately 10-12 hours for each case. Exemplary ground truth labels are shown in Figures \ref{fig:qualiwhole} and \ref{fig:qualidetails}.

\section{Results}
\label{sec:results}

We evaluated the models both quantitatively and qualitatively, to account for the different aspects which could be of interest considering the further study of the obtained segmentations.

\subsection{Quantitative results}

\begin{table}[t!]
\caption{Quantitative results to a partial ablation study for each of the 5 cases over our two models: $\text{3DUNet}_\text{combo}$ trained with $\mathcal{L}_\text{combo}$ and $\text{3DUNet}_\text{combo+clDice}$ trained with $\mathcal{L}_\text{combo+clDice}$ , evaluated in terms of Dice, Recall (Re) and Precision (Pr) for all vessels and their centerline approximations.}
\label{tab:metricstwo}
\begin{center}
\begin{tabular}{cl|c|c|c|c|c|c}
\hline
Case & \multicolumn{1}{c}{Model} & \multicolumn{3}{c}{Vessel} & \multicolumn{3}{c}{Centerline} \\
\hline
  \multicolumn{1}{c}{} & \multicolumn{1}{c}{} & \multicolumn{1}{c}{Dice} & \multicolumn{1}{c}{Re} & \multicolumn{1}{c}{Pr} & \multicolumn{1}{c}{Dice} & \multicolumn{1}{c}{Re} & \multicolumn{1}{c}{Pr} \\
\hline
\hline
\multirow{2}{*}{Case 1} & $\text{3DUNet}_\text{combo}$ & \textbf{0.83} & 0.82 & \textbf{0.87} & \textbf{0.87} & 0.90 & \textbf{0.85}  \\
                        & $\text{3DUNet}_\text{combo+clDice}$ & \textbf{0.83} & \textbf{0.84} & 0.82 & 0.86 & \textbf{0.91} & 0.82  \\
\hline
\multirow{2}{*}{Case 2} & $\text{3DUNet}_\text{combo}$ & \textbf{0.84} & 0.82 & \textbf{0.86} & \textbf{0.89} & \textbf{0.91} & 0.88  \\
                         & $\text{3DUNet}_\text{combo+clDice}$ & \textbf{0.84} & \textbf{0.83} & 0.85 & \textbf{0.89} & 0.88 & \textbf{0.90}     \\
\hline
\multirow{2}{*}{Case 3} & $\text{3DUNet}_\text{combo}$ & \textbf{0.82} & 0.86 & \textbf{0.78} & 0.82 & 0.94 & 0.73  \\
                         & $\text{3DUNet}_\text{combo+clDice}$ & 0.80 & \textbf{0.88} & 0.74 & \textbf{0.85} & \textbf{0.95} & \textbf{0.76}  \\
\hline
\multirow{2}{*}{Case 4} & $\text{3DUNet}_\text{combo}$ & \textbf{0.74} & \textbf{0.98} & \textbf{0.59} & 0.76 & \textbf{0.99} & 0.62  \\
                         & $\text{3DUNet}_\text{combo+clDice}$ & 0.72 & \textbf{0.98} & 0.57 & \textbf{0.78} & \textbf{0.99} & \textbf{0.64} \\
\hline
\multirow{2}{*}{Case 5} & $\text{3DUNet}_\text{combo}$ & \textbf{0.70} & 0.68 & \textbf{0.71} & \textbf{0.72} & \textbf{0.77} & \textbf{0.67}  \\
                         & $\text{3DUNet}_\text{combo+clDice}$ & \textbf{0.70 }& \textbf{0.70} & 0.70 & 0.71 & \textbf{0.77} & 0.66  \\
\hline
\end{tabular}
\end{center}
\end{table}

\begin{table}[t!]
\caption{Quantitative results obtained over all our cases using thresholding, region growing and our two 3DUNet models trained with $\mathcal{L}_\text{combo}$ ($\text{3DUNet}_\text{combo}$) and $\mathcal{L}_\text{combo+clDice}$ ($\text{3DUNet}_\text{combo+clDice}$), evaluated in terms of mean $\pm$ standard deviation to Dice, Recall (Re) and Precision (Pr) for all vessels and for their centerline approximations.}
\label{tab:metrics}
\begin{center}
\begin{tabular}{l|c|c|c|c|c|c}
\hline
\multicolumn{1}{c}{Method} & \multicolumn{3}{c}{Vessel} & \multicolumn{3}{c}{Centerline} \\
\hline
  \multicolumn{1}{c}{} & \multicolumn{1}{c}{Dice} & \multicolumn{1}{c}{Re} & \multicolumn{1}{c}{Pr} & \multicolumn{1}{c}{Dice} & \multicolumn{1}{c}{Re} & \multicolumn{1}{c}{Pr} \\
\hline
\hline
\rule[-1ex]{0pt}{3.5ex}  Threshold & $0.66\pm0.17$ & $0.67\pm0.28$ & $0.78\pm0.14$ & $0.62\pm0.19$ & $0.66\pm0.33$ & $0.74\pm0.18$ \\
\hline
\rule[-1ex]{0pt}{3.5ex}  Region Growing & $0.63\pm0.22$ & $0.52\pm0.24$ & $\textbf{0.93}\pm0.03$ & $0.62\pm0.29$ & $0.52\pm0.29$ & $\textbf{0.95}\pm0.03$     \\
\hline
\rule[-1ex]{0pt}{3.5ex}  $\text{3DUNet}_\text{combo}$ & $\textbf{0.78}\pm0.05$ & $0.83\pm0.09$ & $0.76\pm0.09$ & $0.80\pm0.06$ & $\textbf{0.90}\pm0.07$ & $0.75\pm0.10$ \\
\hline
\rule[-1ex]{0pt}{3.5ex}  $\text{3DUNet}_\text{combo+clDice}$ & $0.77\pm0.05$ & $\textbf{0.85}\pm0.09$ & $0.74\pm0.09$ & $\textbf{0.81}\pm0.06$ &$\textbf{0.90}\pm0.07$ & $0.76\pm0.09$  \\
\hline
\end{tabular}
\end{center}
\end{table}

Quantitative results for each case are shown in Table \ref{tab:metricstwo}, obtained using the proposed model trained with $\mathcal{L}_\text{combo+clDice}$ ($\text{3DUNet}_\text{combo+clDice}$) and its counterpart trained using only $\mathcal{L}_\text{combo}$ ($\text{3DUNet}_\text{combo}$). For this partial ablation study, both are evaluated using the overall structures of interest (vessels) and at centerline level in terms of Dice, Recall (Re) and Precision (Pr). Centerline Dice values were computed based on scikit-image\cite{van2014scikit} skeletonisations.

Average metrics over all our cases are presented in Table \ref{tab:metrics}, including those obtained with two alternative and standard segmentation methods, namely thresholding and region growing. To favour the reproducibility of the experiments, we used the ITK 4.13.0\cite{itk} implementations. Threshold values were set by firstly computing the Otsu threshold and correcting it empirically to reduce the amount of included noise. Region growing was computed by manually selecting initial seeds inside the internal carotid artery, iterating twice with a statistical membership criterion across an 8-connected neighbourhood with a standard deviation multiplier of 2.

\subsection{Qualitative results}

In a general overview, our 3DUNet models reached a higher discovery rate of the overall labelled vessel structures. In Figure \ref{fig:qualiwhole} we present projections of the segmentations achieved by the methods on each of the five cases, and some relevant regions are shown enlarged in Figure \ref{fig:qualidetails}.
For most cases, thresholding and region growing missed draining vessels and had an insufficient coverage of venous structures present in ground truth. For example: ground truth for cases 1, 2 and 5 did not include some vein structures (like the jugular vein or sigmoid sinus) that were segmented by the models; cases 1, 2, 3 and 5 show that our models found the superior sagittal sinus while the standard segmentation methods missed it, just like the fistulas in cases 2 and 5; many distal arteries were also segmented by the models but were not present in the ground truth, as can be observed in case 4.

   \begin{figure} [t!]
   \begin{center}
   \begin{tabular}{c}
   \includegraphics[width=0.95\textwidth]{figures/qualiwhole6.pdf}
   \end{tabular}
   \end{center}
   \caption[whatsthis]
   { \label{fig:qualiwhole}
Qualitative results for each of the five cases. First column shows a volume rendering of the corresponding case, followed by the segmentations achieved by thresholding, region growing, $\text{3DUNet}_\text{combo}$ and $\text{3DUNet}_\text{combo+clDice}$. Lastly, the manual annotations acting as ground truth. Volume projections correspond to sagittal or coronal orientations, according to the AVM location and clearest segmentation overview.}
   \end{figure}

   \begin{figure} [t!]
   \begin{center}
   \begin{tabular}{c}
   \includegraphics[width=0.97\textwidth]{figures/zoomv8.pdf
   \end{tabular}
   \end{center}
   \caption[whatsthis]
   { \label{fig:qualidetails}
Enlarged view of the qualitative results presented in Figure~\ref{fig:qualiwhole}. Top to bottom: vein of case 1, fistula and venous drainage of case 2, vein structure in case 3, distal arteries to case 4, dense nidus and draining veins to case 5.}
   \end{figure}

\section{Discussion}
\label{sec:discussion}
We approached the segmentation of 3DRA images of bAVMs with deep learning methods after densely annotating 5 volumes of a private dataset. Our aim was to acquire sufficiently good binarisations that allow a posterior topological and morphological analysis of bAVMs. The assessment was based on a quantitative comparison of two overlap metrics: vessel Dice coefficient and centerline Dice coefficient. These were selected to account for the overall relevant voxels and also preservation of voxel connectivity.

We performed a partial ablation study to understand the effect of incorporating the additional centerline-focused loss during training. No training was carried on with only cross-entropy loss, given the class-imbalance inherent to brain vessel images.
Method comparison was narrowed down to threshold and region growing, which are standard in vessel segmentation tasks and their code implementations are readily available.
This study design decision was deemed appropriate to minimise reproducibility difficulties and potential ambiguity.
There are limitations to this approach, since our network works patch-wise while threshold and region growing were used volume-wise.
However, using these standard methods on a patch level would imply threshold level and seed computation for each patch, which would then introduce additional complexity to the comparison.

Regarding the quantitative analysis, we considered vessel Dice and centerline Dice coefficients with their respective Precision and Recall values. Our UNet models consistently achieve a higher Dice coefficient value and Recall value with respect to the standard segmentation methods, indicating a better coverage of the foreground voxels. Even though Precision values are higher with region growing, the resulting segmentation is insufficient in the overall recovery of foreground voxels.

Methodologically, we observed that incorporating the additional centerline-focused loss during training does not offer an evident improvement in the quantitative results with respect to the combined cross-entropy and Dice losses approach (Table \ref{tab:metrics} and Table \ref{tab:metricstwo}).
Nevertheless, qualitative analysis hints towards clearer vessel delineations and enhanced connectivity when employing soft centerline Dice loss calculation (as in case 4 in Figure \ref{fig:qualidetails}).
Furthermore, considering centerline Dice as a form of quantitative report provides additional reassurance regarding preservation of vessel-like qualities \cite{shit2021cldice}.

False positives yielded by our models correspond mostly to veins and distal arteries that were not delineated in ground truth (see Figure \ref{fig:qualiwhole}). We consider this aspect presents two potential and interconnected advantages.
Firstly, acquiring ground truth labels for bAVMs angiographies has proven to be a challenge, due to the lack of enough available images, high inter-rater variability \cite{moccia2018blood} and unpredictable topomorphology \cite{dumont2017brain, rutledge2017brain}.
Manually generating these labels is an intensely time-consuming task, and even carefully polished segmentations are prone to present missing vessels.
We found that models trained over densely annotated volumes were able to yield adequate binarisations with high structure coverage.
It would then be possible to leverage these segmentations to ease the manual annotation task, by using the predicted geometries as first initial guesses of the structures of interest.
Additionally, appropriately dealing with the segmentation of venous structures is a difficult task due to shape and intensity inconsistencies.
High flow rates in bAVM cases can also trigger vascular remodeling, which further compromises venous delineation by rendering statistical atlas unreliable.
Nonetheless, it is becoming highly relevant for clinical practice as interventional treatments start to consider and involve transvenous embolisation more often \cite{chen2018transvenous,chen2020brain,waldeck2021first}.
As preliminary approaches, skeleton-based vein extractions have been proposed \cite{babin2018skeletonization} given a sufficiently good vascular segmentation. Hence, developing a model able to handle these difficulties at segmentation time could be a valuable tool for embolisation planning in clinical practice.

The presented work constitutes a further step towards achieving a robust segmentation method despite the mentioned difficulties. This is only the first part of the still challenging task of comprehensive technology-assisted bAVM study, but crucial to its achievement.
Our results are encouraging regarding satisfactory coverage of all structures of interest, and might eventually help alleviate the burdensome manual labelling task or even serve as a starting point to reach more reliable segmentations.
Ultimately, this would contribute to a better understanding and achieving a more accurate morphological and topological characterisation of these malformations.
In this respect, further tests are currently underway to assess the impact on model robustness of the inclusion of diverse data augmentation techniques and synthetic vessel datasets.


\section{Introduction}

	In \cite{CD}, Alain Connes and Michel Dubois-Violette propose a new kind of noncommutative  plane, denoted by $C_{\mathrm{alg}}(\R_{\Theta}^{m})$, where $m\in\N^*$ and $\Theta:=\{\theta_{p,q}\}_{1\leq p,q\leq[m/2]}$ a skew-symmetric matrix. For $m=2n$ an even integer, $C_{\mathrm{alg}}(\R_{\Theta}^{2n})$ is the complex unital associative $*$-algebra generated by $2n$ elements $z_p,\bz_q~(p,q=1,2,\ldots,n)$ with relation
	\begin{equation}
		z_pz_q=\lambda_{p,q}z_qz_p,~\bz_p\bz_q=\lambda_{p,q}\bz_q\bz_p,~\bz_pz_q=\lambda_{q,p}z_q\bz_p,~z_p^*=\bz_p
	\end{equation}
	for $p,q=1,2,\ldots,n~(\lambda_{p,q}=e^{i\theta_{p,q}},~\theta_{p,q}=-\theta_{q,p}\in\R)$. For odd $m=2n+1$, $C_{\mathrm{alg}}(\R_{\Theta}^{2n+1})$ is the unital complex $*$-algebra obtained by adding an hermitian generator $x$ to  $C_{\mathrm{alg}}(\R_{\Theta}^{2n})$ with relation $xz_p=z_px,~(p=1,2,\ldots,n)$. $C_{\mathrm{alg}}(\R_{\Theta}^{m})$ are also called the \emph{algebra of complex polynomials on the noncommutative $m$-plane $\R^m_\Theta$}.

	It's not hard to see that every element $T\in\cren$ can be written as a finite sum of the form
	\begin{equation}
		T:=\sum a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}
	\end{equation}
	with $(p_1,\ldots,p_{n},q_1,\ldots,q_{n})\in\N^{2n}$ and $a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}\in\C$. Like the degree of polynomials, we define
	\begin{equation}
		\deg(z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}):=\sum_{k=1}^n(p_r+q_r)
	\end{equation}
	and $\deg(T)$ the maximum  of all degrees of the monomials of $T$. For $\cron$ we have similar representation and definition of degree. When regarded as a subalgebra of the bounded operators $B(H)$ on a separable Hilbert space $H$, mimick the definition of the smooth noncommutative tori\cite{EH}, the smooth version $\incren$ of $\cren$ can be defined as the $C^*$-algebra of the following formal series
	\begin{equation}
		\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}
	\end{equation}
	where the coefficient function $\N^{2n}\owns(p_1,\ldots,p_{n},q_1,\ldots,q_{n})\mapsto a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}\in\C$ belongs to
	the Schwartz space $\mathcal{S}(\N^{2n})$, i.e., there is a constant $C_r$ for every $r\geq1$ such that
	\begin{equation}
		\sup_{(p_1,\ldots,p_{n},q_1,\ldots,q_{n})\in\N^{2n}}\left(1+\sum_{k=1}^{n}\left(p_r^2+q_r^2\right)\right)^r a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}<C_r.
	\end{equation}
	Similarly we can define $\incron$.

	For a $*$-algebra $A$, a \emph{projector}(or \emph{projection}) $p$ of $A$ is a matrix with entries in $A$ and satisfies $p^2=p=p^*$. We denote by $P(A)$ the set of projectors of $A$. For any two projectors $p,q\in P(A)$, define
	\begin{equation}\label{kkk}
		p+q:=\begin{pmatrix}
			p&0\\
			0&q
		\end{pmatrix},
	\end{equation}
	and call $p,q$ \emph{equivalent}, $p\sim q$, if there is a unitary $u\in M_n(A)$ for some suitable $n\in\N$ such that
	\begin{equation}
		\begin{pmatrix}
			p&0\\
			0&0
		\end{pmatrix}=u\begin{pmatrix}
			q&0\\
			0&0
		\end{pmatrix}u^*.
	\end{equation}
	Then $P(A)/\sim$  forms a semigroup under the operation \eqref{kkk}. The $K_0$ \emph{group} $K_0(A)$ of $A$ is defined as the Grothendieck group of $P(A)/\sim$. Computing the $K_0$ group of an algebra is a natural question, in general it's not easy, even for the commutative one.

	$K_0$ groups are important for noncommutative geometry, Exel shows that Morita equivalent algebras have isomorphic $K_0$ groups\cite{EX}, and the famous Baum-Connes conjecture\cite{BC} is related to the $K$-theory groups $K_j(C^*_r(G))$ where $j=0,1$ of the reduced $C^*$-algebra $C^*_r(G)$ of a locally compact, Hausdorff and second countable group $G$. See \cite{HLS,MY} for developments in Baum-Connes conjecture and \cite{G,HM,HML,V} for various  examples of calculating $K_0$ groups.

	In this paper we compute $K_0(\crm)$ and $K_0(\incrm)$. For $\crm$, we show that $P(\crm)=P(\C)$, which implies $K_0(\crm)=K_0(\C)=\Z$. For the smooth case $\incrm$, there is no such result, but we can prove that any $\mathcal{P}\in P(\incrm)$ is unitary equivalent to
	\begin{equation}
		\begin{pmatrix}
			I_r&0\\
			0&0
		\end{pmatrix}
	\end{equation}
	for some $r\in\N$, which directly proves $K_0(\incrm)=\Z$. In summary, we have the following theorem.
	\begin{theorem}\label{m}
		$K_0(\crm)=K_0(\incrm)=\Z$ for $\forall m\in\N^*$ and $\Theta$.
	\end{theorem}
	\ni\textbf{Acknowledgements.}
	This research is partially supported by NSFC grants 12201255.

	\section{The nonsmooth cases}

	Before the calculation of the $K_0$ groups, we prove the following lemma, the "product rule" of $\cren$:
	\begin{lemma}\label{pr}
		Let $(p_1,\ldots,p_{n},q_1,\ldots,q_{n}),(r_1,\ldots,r_{n},s_1,\ldots,s_{n})\in\N^{2n}$, then
		\begin{equation}
			\begin{aligned}
				&\left(z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}\right)\left(z_1^{r_1}\ldots z_n^{r_n}\bz_{1}^{s_{1}}\ldots\bz_{n}^{s_{n}}\right)\\
				=&\left(\prod_{l=1}^n\prod_{k=l+1}^n\l_{k,l}^{p_kr_l+q_ks_l+r_kq_l-q_kr_l}\right)z_1^{p_1+r_1}\ldots z_n^{p_n+r_n}\bz_{1}^{q_{1}+s_1}\ldots\bz_{n}^{q_{n}+s_n}.
			\end{aligned}
		\end{equation}
	\end{lemma}
	\begin{proof}
		For $r,s\in\N$, we have
		\begin{equation}
			z_p^rz_q^s=z_q\lambda_{p,q}^rz_p^rz_q^{s-1}=z_q^2\lambda_{p,q}^{2r}z_p^rz_q^{s-2}=\ldots=\lambda_{p,q}^{rs}z_q^sz_p^r.
		\end{equation}
		Similarly, $\bz_p^r\bz_q^s=\lambda_{p,q}^{rs}\bz_q^s\bz_p^r$ and $\bz_p^rz_q^s=\lambda_{q,p}^{rs}z_q^s\bz_p^r=\lambda_{p,q}^{-rs}z_q^s\bz_p^r$. Hence
		\begin{align*}
			&\left(z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}\right)\left(z_1^{r_1}\ldots z_n^{r_n}\bz_{1}^{s_{1}}\ldots\bz_{n}^{s_{n}}\right)\\
			=&\l_{1,1}^{p_{1}r_1}\l_{2,1}^{p_{2}r_1}\ldots\l_{n,1}^{p_{n}r_1}\l_{1,1}^{q_{1}r_1}\l_{1,2}^{q_{2}r_1}\ldots\l_{1,n}^{q_{n}r_1} z_1^{p_1+q_1}z_2^{p_2}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}z_2^{r_2}\ldots z_n^{r_n}\bz_{1}^{s_{1}}\ldots\bz_{n}^{s_{n}}\\
			=&\l_{1,1}^{p_{1}r_1}\l_{2,1}^{p_{2}r_1}\ldots\l_{n,1}^{p_{n}r_1}\l_{1,1}^{q_{1}r_1}\l_{1,2}^{q_{2}r_1}\ldots\l_{1,n}^{q_{n}r_1}\l_{2,2}^{p_{2}r_2}\l_{3,2}^{p_{3}r_2}\ldots\l_{n,2}^{p_{n}r_2}\l_{2,1}^{q_{1}r_2}\l_{2,2}^{q_{2}r_2}\ldots\l_{2,n}^{q_{n}r_2} z_1^{p_1+r_1}z_2^{p_2+r_2}z_3^{p_3}\ldots z_n^{p_n}\\
			&\times\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}z_3^{r_3}\ldots z_n^{r_n}\bz_{1}^{s_{1}}\ldots\bz_{n}^{s_{n}}\\
			=&\ldots\\
			=&\prod_{l=1}^n\left(\prod_{k=l}^n\l_{k,l}^{p_k}\prod_{k=1}^n\l_{l,k}^{q_k}\right)^{r_l}z_1^{p_1+r_1}\ldots z_n^{p_n+r_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}\bz_{1}^{s_{1}}\ldots\bz_{n}^{s_{n}}\\
			=&\prod_{l=1}^n\left(\prod_{k=l}^n\l_{k,l}^{p_k}\prod_{k=1}^n\l_{l,k}^{q_k}\right)^{r_l}\left(\prod_{k=1}^n\l_{k,1}^{q_k}\right)^{s_1}z_1^{p_1+r_1}\ldots z_n^{p_n+r_n}\bz_{1}^{q_{1}+s_1}\bz_{2}^{q_{2}}\ldots\bz_{n}^{q_{n}}\bz_{2}^{s_{2}}\ldots\bz_{n}^{s_{n}}\\
			=&\ldots\\
			=&\prod_{l=1}^n\left(\prod_{k=l}^n\l_{k,l}^{p_k}\prod_{k=1}^n\l_{l,k}^{q_k}\right)^{r_l}\prod_{l=1}^n\left(\prod_{k=l}^n\l_{r,s}^{q_k}\right)^{s_l}z_1^{p_1+r_1}\ldots z_n^{p_n+r_n}\bz_{1}^{q_{1}+s_1}\ldots\bz_{n}^{q_{n}+s_n}\\
			=&\left(\prod_{l=1}^n\prod_{k=l+1}^n\l_{k,l}^{p_kr_l+q_ks_l+r_kq_l-q_kr_l}\right)z_1^{p_1+r_1}\ldots z_n^{p_n+r_n}\bz_{1}^{q_{1}+s_1}\ldots\bz_{n}^{q_{n}+s_n}.
		\end{align*}
	\end{proof}
	With the help of Lemma \ref{pr}, we have the following crucial proposition.
	\begin{proposition}\label{p2n}
		If $\mathcal{P}\in P(C_{\mathrm{alg}}(\R_{\Theta}^{2n}))$, then $\P\in P(\C)$.
	\end{proposition}
	\begin{proof}
		Let $$\P=\begin{pmatrix}
			p_{1,1}&\ldots&p_{1,N}\\
			\vdots&\ddots&\vdots\\
			p_{N,1}&\ldots&p_{N,N}\\
		\end{pmatrix}\in M_N(C_{\mathrm{alg}}(\R_{\Theta}^{2n}))$$
		be an $N$-dimensional projector of $C_{\mathrm{alg}}(\R_{\Theta}^{2n})$. Then $\P^2=\P=\P^*$, and
		\begin{align*}
			\begin{pmatrix}
				p_{1,1}&\ldots&p_{1,N}\\
				\vdots&\ddots&\vdots\\
				p_{N,1}&\ldots&p_{N,N}\\
			\end{pmatrix}=\P=\P^2&=\P\P^*\\
			&=\begin{pmatrix}
				p_{1,1}&\ldots&p_{1,N}\\
				\vdots&\ddots&\vdots\\
				p_{N,1}&\ldots&p_{N,N}\\
			\end{pmatrix}\cdot\begin{pmatrix}
				p_{1,1}^*&\ldots&p_{N,1}^*\\
				\vdots&\ddots&\vdots\\
				p_{1,N}^*&\ldots&p_{N,N}^*\\
			\end{pmatrix}\\
			&=\begin{pmatrix}
				\sum_{k=1}^Np_{1,k}p_{1,k}^*&\ldots&\sum_{k=1}^Np_{1,k}p_{N,k}^*\\
				\vdots&\ddots&\vdots\\
				\sum_{k=1}^Np_{N,k}p_{1,k}^*&\ldots&\sum_{k=1}^Np_{N,k}p_{N,k}^*\\
			\end{pmatrix},
		\end{align*}
		so for $1\leq k\leq N$,
		\begin{equation}\label{pll}
			p_{k,k}=\sum_{l=1}^Np_{k,l}p_{k,l}^*.
		\end{equation}
		From Lemma \ref{pr}, for  $(p_1,\ldots,p_{n},q_1,\ldots,q_{n})\in\N^{2n}$, we have
		\begin{align*}
			&\left(z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}\right)\left(z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}\right)^*\\
			=&z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}z_n^{q_n}\ldots z_1^{q_1}\bz_n^{p_n}\ldots\bz_1^{p_1}\\
			=&\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp_s+q_rq_s}\right)z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}z_1^{q_1}\ldots z_n^{q_n}\bz_{1}^{p_{1}}\ldots\bz_{n}^{p_{n}}\\
			=&\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp_s+q_rq_s}\right)\prod_{s=1}^n\left(\prod_{r=s}^n\l_{r,s}^{p_rq_s+p_sq_r}\prod_{r=1}^n\l_{s,r}^{q_rq_s}\right)z_1^{p_1+q_1}\ldots z_n^{p_n+q_n}\bz_1^{p_1+q_1}\ldots \bz_n^{p_n+q_n}\\
			=&\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{(p_r+q_r)(p_s+q_s)}\right)z_1^{p_1+q_1}\ldots z_n^{p_n+q_n}\bz_1^{p_1+q_1}\ldots \bz_n^{p_n+q_n}.
		\end{align*}
		The above formula implies that for fixed $(M_1,\ldots,M_n)\in\N^{n}$ and any $(p_1,\ldots,p_{n},q_1,\ldots,q_{n})\in\N^{2n}$ such that $p_j+q_j=M_j$ for all $1\leq j\leq n$, we have
		\begin{equation}\label{pqm}
			\left(z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}\right)\left(z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}\right)^*=\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{M_rM_s}\right)z_1^{M_1}\ldots z_n^{M_n}\bz_1^{M_1}\ldots \bz_n^{M_n}.
		\end{equation}
		Let $M:=\max\{\deg (p_{k,l})\}_{1\leq k,l\leq N}$. If $M>0$, set
		\begin{equation}
			p_{k,l}=\sum_{\sum_{j=1}^n(p_j+q_j)\leq M}a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,l}z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}},
		\end{equation}
		then for $1\leq k\leq N$,
		\begin{align*}
			p_{k,k}=&\sum_{l=1}^Np_{k,l}p_{k,l}^*\\
			=&\sum_{l=1}^N\sum_{\sum_{j=1}^n(p_j+q_j)\leq M}\sum_{\sum_{j=1}^n(p'_j+q'_j)\leq M}a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,l}\overline{a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{k,l}}z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}\\
			&\times z_n^{q'_n}z_{n-1}^{q'_{n-1}}\ldots z_1^{q'_1}\bz_n^{p'_n}\bz_{n-1}^{p'_{n-1}}\ldots\bz_1^{p'_1}.
		\end{align*}
		Consider the coefficient of $z_1^M\bz_1^M$, we have
		\begin{equation}
			\begin{aligned}
				0=&\sum_{l=1}^N\left(a_{M,0,\ldots,0,0,0,\ldots,0}^{k,l}\overline{a_{M,0,\ldots,0,0,0,\ldots,0}^{k,l}}+a_{0,0,\ldots,0,M,0,\ldots,0}^{k,l}\overline{a_{0,0,\ldots,0,M,0,\ldots,0}^{k,l}}\right)\\
				=&\sum_{l=1}^N\left(\n a_{M,0,\ldots,0,0,0,\ldots,0}^{k,l}\n^2+\n a_{0,0,\ldots,0,M,0,\ldots,0}^{k,l}\n^2\right),
			\end{aligned}
		\end{equation}
		so $a_{M,0,\ldots,0,0,0,\ldots,0}^{k,l}=a_{0,0,\ldots,0,M,0,\ldots,0}^{k,l}=0$, $1\leq k,l\leq N$. In fact by considering $z_j^M\bz_j^M$, $j=1,2,\ldots,n$, we have $a_{0,\ldots,0,M,0,\ldots,0}^{k,l}=0$ where $M$ at the $j$-th and $(n+j)$-th position, $1\leq k,l\leq N$. Next consider the coefficient of $z_1^{M-1}z_2\bz_1^{M-1}\bz_2$, we have
		\begin{equation}
			\begin{aligned}
				0=&\sum_{l=1}^N\left(a_{M-1,1,\ldots,0,0,0,\ldots,0}^{k,l}\overline{a_{M-1,1,\ldots,0,0,0,\ldots,0}^{k,l}}\l_{2,1}^{M-1}+a_{0,0,\ldots,0,M-1,1,\ldots,0}^{k,l}\overline{a_{0,0,\ldots,0,M-1,1,\ldots,0}^{k,l}}\l_{2,1}^{M-1}\right)\\
				=&\l_{2,1}^{M-1}\sum_{l=1}^N\left(\n a_{M-1,1,\ldots,0,0,0,\ldots,0}^{k,l}\n^2+\n a_{0,0,\ldots,0,M-1,1,\ldots,0}^{k,l}\n^2\right),
			\end{aligned}
		\end{equation}
		so $a_{M-1,1,\ldots,0,0,0,\ldots,0}^{k,l}=a_{0,0,\ldots,0,M-1,1,\ldots,0}^{k,l}=0$, $1\leq k,l\leq N$. Similarly $a_{0,\ldots,M-1,\ldots,0,1,0,\ldots,0}^{k,l}=0$ where $M-1$ at the $s$-th and $(n+s)$-th position, 1 at the $t$-th and $(n+t)$-th position, $1\leq s,t\leq n$, $s\neq t$, $1\leq k,l\leq N$. Continue the above procedure, the formula \eqref{pqm} guarantees that we can prove $a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,l}=0$ for all $(p_1,\ldots,p_{n},q_1,\ldots,q_{n})\in\N^{2n}$ satisfying $\sum_{j=1}^n(p_j+q_j)=M$ and $1\leq k,l\leq N$, but this contradicts the definition of $M$. So we must have $M=0$ and hence $p_{k,l}\in\C$ for all $1\leq k,l\leq N$, which implies $\P\in P(\C)$.
	\end{proof}
	For $\cron$, since $x$ commutes with everything, by replacing all $a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,l}$ with polynomials of $x$ in the proof of Proposition \ref{p2n}, we have the following similar result.
	\begin{proposition}\label{p2n1}
		If $\P\in P(\cron)$, then $\P\in P(\C)$.
	\end{proposition}
	Then by the definition of $K_0$ groups, we have
	\begin{theorem}\label{kns}
		$K_0(\crm)=K_0(\C)=\Z$ for $\forall m\in\N^*$ and $\Theta$.
	\end{theorem}

	\section{The smooth cases}
	In this section we compute $K_0(\incrm)$. According to the parity of $m$, we divide it into two parts. Let's first consider the case where $m$ is even, $m=2n$. In the smooth cases, there's no longer result like Proposition \ref{p2n} and \ref{p2n1}. But by constructing a suitable unitary matrix $\mathcal{U}$, for any $\mathcal{P}\in P(\incren)$, we show that there is an $r\in\N$, depends only on $\mathcal{P}$, such that
	\begin{equation}
		\mathcal{U}\mathcal{P}\mathcal{U}^*=\begin{pmatrix}
			I_r & 0\\
			0 & 0\\
		\end{pmatrix},
	\end{equation}
	which implies
 	\begin{theorem}\label{inp2n}
		$K_0(\incren)=\Z$ for $\forall n\in\N^*$ and $\Theta$.
	\end{theorem}
	\begin{proof}
		Like before, let $$\P=\begin{pmatrix}
			p_{1,1}&\ldots&p_{1,N}\\
			\vdots&\ddots&\vdots\\
			p_{N,1}&\ldots&p_{N,N}\\
		\end{pmatrix}\in M_N(C^\infty_{\mathrm{alg}}(\R_{\Theta}^{2n}))$$
		be an $N$-dimensional projector of $C^\infty_{\mathrm{alg}}(\R_{\Theta}^{2n})$. Then $\P^2=\P=\P^*$, and
		\begin{align*}
			\begin{pmatrix}
				p_{1,1}&\ldots&p_{1,N}\\
				\vdots&\ddots&\vdots\\
				p_{N,1}&\ldots&p_{N,N}\\
			\end{pmatrix}=\P=\P^2&=\P\P^*\\
			&=\begin{pmatrix}
				p_{1,1}&\ldots&p_{1,N}\\
				\vdots&\ddots&\vdots\\
				p_{N,1}&\ldots&p_{N,N}\\
			\end{pmatrix}\cdot\begin{pmatrix}
				p_{1,1}^*&\ldots&p_{N,1}^*\\
				\vdots&\ddots&\vdots\\
				p_{1,N}^*&\ldots&p_{N,N}^*\\
			\end{pmatrix}\\
			&=\begin{pmatrix}
				\sum_{k=1}^Np_{1,k}p_{1,k}^*&\ldots&\sum_{k=1}^Np_{1,k}p_{N,k}^*\\
				\vdots&\ddots&\vdots\\
				\sum_{k=1}^Np_{N,k}p_{1,k}^*&\ldots&\sum_{k=1}^Np_{N,k}p_{N,k}^*\\
			\end{pmatrix},
		\end{align*}
		so for $1\leq k,l\leq N$,
		\begin{equation}\label{pk}
			p_{k,l}=\sum_{j=1}^Np_{k,j}p_{l,j}^*.
		\end{equation}
		Let
		\begin{equation}
			p_{k,l}=\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,l}z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}},~a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,l}\in\C,~1\leq k,l\leq N,
		\end{equation}
		then
		\begin{align*}
			&\sum_{j=1}^Np_{k,j}p_{l,j}^*\\
			=&\sum_{j=1}^N\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty\sum_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}=0}^\infty a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}\overline{a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{l,j}}z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}z_n^{q'_n}\ldots z_1^{q'_1}\\
			&\times\bz_n^{p'_n}\ldots\bz_1^{p'_1}\\
			=&\sum_{j=1}^N\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty\sum_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}=0}^\infty a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}\overline{a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{l,j}}\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p'_rp'_s+q'_rq'_s}\right)\\
			&\times z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}z_1^{q'_1}\ldots z_n^{q'_n}\bz_{1}^{p'_{1}}\ldots\bz_{n}^{p'_{n}}\\
			=&\sum_{j=1}^N\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty\sum_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}=0}^\infty a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}\overline{a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{l,j}}\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p'_rp'_s+q'_rq'_s}\right)\\
			&\times\prod_{l=1}^n\left(\prod_{k=l}^n\l_{r,s}^{p_rq'_s+q_rp'_s}\prod_{k=1}^n\l_{l,k}^{q_rq'_s}\right)z_1^{p_1+q'_1}\ldots z_n^{p_n+q'_n}\bz_{1}^{q_{1}+p'_1}\ldots\bz_{n}^{q_{n}+p'_n}\\
			=&\sum_{j=1}^N\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty\sum_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}=0}^\infty a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}\overline{a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{l,j}}z_1^{p_1+q'_1}\ldots z_n^{p_n+q'_n}\bz_{1}^{q_{1}+p'_1}\ldots\bz_{n}^{q_{n}+p'_n}\\
			&\times\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p'_rp'_s+q'_rq'_s+p_rq'_s+q_rp'_s+q_sq'_r-q_rq'_s},
		\end{align*}
		so we have
		\begin{equation}
			\begin{aligned}
				a_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}=&\sum_{j=1}^N\sum_{p_1+q'_1=p''_1,\ldots,p_{n}+q'_n=p''_n\atop q_1+p'_1=q''_1,\ldots,q_n+p'_n=q''_n}\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p'_rp'_s+q'_rq'_s+p_rq'_s+q_rp'_s+q_sq'_r-q_rq'_s}\right)a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}\\
				&\times \overline{a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{l,j}}.
			\end{aligned}
		\end{equation}

		$\P=\P^*$ implies $p_{k,l}=p_{l,k}^*$, which means
		\begin{align*}
			&\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,l}z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}\\
			=&p_{k,l}=p_{l,k}^*\\
			=&\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty \overline{a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{l,k}}\left(z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}\right)^*\\
			=&\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty \overline{a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{l,k}}z_n^{q_n}\ldots z_1^{q_1}\bz_n^{p_n}\ldots\bz_1^{p_1}\\
			=&\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty \overline{a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{l,k}}\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp_s+q_rq_s}\right)z_1^{q_1}\ldots z_n^{q_n}\bz_{1}^{p_{1}}\ldots\bz_{n}^{p_{n}},
		\end{align*}
		so we have
		\begin{equation}\label{self}
			a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,l}=\overline{a_{q_1,q_2,\ldots,q_{n},p_1,p_2,\ldots,p_{n}}^{l,k}}\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp_s+q_rq_s}\right),
		\end{equation}
		and therefore  we also have
		\begin{equation}\label{aaa}
			\begin{aligned}
				a_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}=&\sum_{j=1}^N\sum_{p_1+p'_1=p''_1,\ldots,p_{n}+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n}\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}\right)a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}\\
				&\times a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}.
			\end{aligned}
		\end{equation}

		Note that for $1\leq k,l\leq N$,
		\begin{equation}
			a_{0,\ldots,0}^{k,l}=\overline{a_{0,\ldots,0}^{l,k}}
		\end{equation}
		and
		\begin{equation}
			a_{0,\ldots,0}^{k,l}=\sum_{j=1}^N a_{0,\ldots,0}^{k,j}a_{0,\ldots,0}^{j,l},
		\end{equation}
		so $\mathcal{A}=\{a_{0,\ldots,0}^{k,l}\}_{1\leq k,l\leq N}\in M_N(\C)$ is a projector. Denote $r:=\rank\left(\mathcal{A}\right),$
		the matrix rank of $\mathcal{A}$, then there is a unitary $N\times N$ matrix $\mathcal{Q}\in M_N(\C)$ such that
		\begin{equation}
			\mathcal{Q}\mathcal{B}\mathcal{Q}^*=\begin{pmatrix}
				I_r & 0\\
				0 & 0\\
			\end{pmatrix}.
		\end{equation}
		It's obvious that $\mathcal{Q}\mathcal{P}\mathcal{Q}^*$ is still a projector, so in fact we can assume
		\begin{equation}\label{asa}
			\{a_{0,\ldots,0}^{k,l}\}_{1\leq k,l\leq N}=\begin{pmatrix}
				I_r & 0\\
				0 & 0\\
			\end{pmatrix}.
		\end{equation}

		Next we show that there is a unitary matrix $\mathcal{U}\in M_N(C^\infty_{\mathrm{alg}}(\R_{\Theta}^{2n}))$ such that
		\begin{equation}
			\mathcal{U}\mathcal{P}\mathcal{U}^*=\begin{pmatrix}
				I_r & 0\\
				0 & 0\\
			\end{pmatrix}.
		\end{equation}
		Let $$\mathcal{U}=\begin{pmatrix}
			u_{1,1}&\ldots&u_{1,N}\\
			\vdots&\ddots&\vdots\\
			u_{N,1}&\ldots&u_{N,N}\\
		\end{pmatrix}\in M_N(C^\infty_{\mathrm{alg}}(\R_{\Theta}^{2n}))$$
		be a unitary matrix where $u_{k,l}\in\incren$, $1\leq k,l\leq N$. Then $\mathcal{U}\mathcal{U}^*=I_N$ implies
		\begin{equation}
			\sum_{j=1}^Nu_{k,j}u_{l,j}^*= \delta_{k,l}
		\end{equation}
		where $\delta_{k,l}$ is the Kronecker delta. For $1\leq k,l\leq N$, let
		\begin{equation}
			u_{k,l}=\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,l}z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}},
		\end{equation}
		and for all $(p_1,\ldots,p_{n},q_1,\ldots,q_{n})\in\N^{2n}$, for convenience we  define
		\begin{equation}
			w_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,l}:=\overline{v_{q_1,\ldots,q_{n},p_1,\ldots,p_{n}}^{l,k}},
		\end{equation}
		then
		\begin{align*}
			&\sum_{j=1}^Nu_{k,j}u_{l,j}^*\\
			=&\sum_{j=1}^N\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty\sum_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}=0}^\infty v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}\overline{v_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{l,j}}z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}z_n^{q'_n}\ldots z_1^{q'_1}\\
			&\times\bz_n^{p'_n}\ldots\bz_1^{p'_1}\\
			=&\sum_{j=1}^N\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty\sum_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}=0}^\infty v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}\overline{v_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{l,j}}z_1^{p_1+q'_1}\ldots z_n^{p_n+q'_n}\bz_{1}^{q_{1}+p'_1}\ldots\bz_{n}^{q_{n}+p'_n}\\
			&\times\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p'_rp'_s+q'_rq'_s+p_rq'_s+q_rp'_s+q_sq'_r-q_rq'_s}\\
			=&\sum_{j=1}^N\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty\sum_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}=0}^\infty v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}w_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}z_1^{p_1+p'_1}\ldots z_n^{p_n+p'_n}\bz_{1}^{q_{1}+q'_1}\ldots\bz_{n}^{q_{n}+q'_n}\\
			&\times\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p'_rp'_s+q'_rq'_s+p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s},
		\end{align*}
		so for $(p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n})\in\N^{2n}$, we have
		\begin{equation}\label{vw0}
			\begin{aligned}
				&\sum_{j=1}^N\sum_{p_1+p'_1=p''_1,\ldots,p_{n}+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n}v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}w_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p'_rp'_s+q'_rq'_s+p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}\\
				=&\delta_{k,l}\delta_{\sum_{j=1}^N\left(p''_j+q''_j\right),0}.
			\end{aligned}
		\end{equation}

		Note that
		\begin{equation}
			\sum_{j=1}^N v_{0,\ldots,0}^{k,j}\overline{v_{0,\ldots,0}^{l,j}}=\delta_{k,l},
		\end{equation}
		so $\mathcal{V}:=\{v_{0,\ldots,0}^{k,l}\}_{1\leq k,l\leq N}\in M_N(\C)$ is a unitary $N\times N$ matrix. It's obvious that $\mathcal{U}\mathcal{V}^*$ is still unitary, so in fact we can assume
		$$v_{0,\ldots,0}^{k,l}=\delta_{k,l}.$$
		Then the element in the $(k,l)$-position of $\mathcal{U}\mathcal{P}\mathcal{U}^*$ is
		\begin{align*}
			&q_{k,l}\\
			:=&\sum_{p'''_1,\ldots,p'''_{n},q'''_1,\ldots,q'''_{n}=0}^\infty c_{p'''_1,\ldots,p'''_{n},q'''_1,\ldots,q'''_{n}}^{k,l}z_1^{p'''_1}\ldots z_n^{p'''_n}\bz_{1}^{q'''_{1}}\ldots\bz_{n}^{q'''_{n}}\\
			:=&\sum_{\a,\b=1}^Nu_{k,\a}p_{\a,\b}u_{l,\b}^*\\
			=&\sum_{\a,\b=1}^N\sum_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0}^\infty v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,\a}z_1^{p_1}\ldots z_n^{p_n}\bz_{1}^{q_{1}}\ldots\bz_{n}^{q_{n}}\sum_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}=0}^\infty a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{\a,\b}\\
			&\times z_1^{p'_1}\ldots z_n^{p'_n}\bz_{1}^{q'_{1}}\ldots\bz_{n}^{q'_{n}}\sum_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}=0}^\infty \overline{v_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{l,\b}}z_n^{q''_n}\ldots z_1^{q''_1}\bz_n^{p''_n}\ldots\bz_1^{p''_1}\\
			=&\sum_{\a,\b=1}^N\sum_{{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0\atop p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}=0}\atop p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}=0}^\infty v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,\a}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{\a,\b}\overline{v_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{l,\b}}\\
			&\times\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}\right)\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p''_rp''_s+q''_rq''_s}\right)z_1^{p_1+p'_1}\ldots z_n^{p_n+p'_n}\bz_1^{q_1+q'_1}\ldots \bz_n^{q_n+q'_n}\\
			&\times z_1^{q''_1}\ldots z_n^{q''_n}\bz_{1}^{p''_{1}}\ldots\bz_{n}^{p''_{n}}\\
			=&\sum_{\a,\b=1}^N\sum_{{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0\atop p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}=0}\atop p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}=0}^\infty v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,\a}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{\a,\b}\overline{v_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{l,\b}}\\
			&\times\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}\right)\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p''_rp''_s+q''_rq''_s}\right)\\
			&\times\left(\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{\left(p_r+p'_r\right)q''_s+\left(q_r+q'_r\right)p''_s+\left(q_s+q'_s\right)q''_r-\left(q_r+q'_r\right)q''_s}\right)z_1^{p_1+p'_1+q''_1}\ldots z_n^{p_n+p'_n+q''_n}\\
			&\times\bz_1^{q_1+q'_1+p''_1}\ldots \bz_n^{q_n+q'_n+p''_n}\\
			=&\sum_{\a,\b=1}^N\sum_{{p_1,\ldots,p_{n},q_1,\ldots,q_{n}=0\atop p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}=0}\atop p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}=0}^\infty v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,\a}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{\a,\b}\overline{v_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{l,\b}}\\
			&\times\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s+\left(p_r+p'_r+q''_r\right)q''_s+\left(q_r+q'_r+p''_r\right)p''_s+\left(q_s+q'_s\right)q''_r-\left(q_r+q'_r\right)q''_s}\\
			&\times z_1^{p_1+p'_1+q''_1}\ldots z_n^{p_n+p'_n+q''_n}\bz_1^{q_1+q'_1+p''_1}\ldots \bz_n^{q_n+q'_n+p''_n}\\
			=&\sum_{\a,\b=1}^N\sum_{p_1+p'_1+p''_1=p'''_1,\ldots,p_n+p'_n+p''_n=p'''_n\atop q_1+q'_1+q''_1=q'''_1,\ldots,q_n+q'_n+q''_n=q'''_n}^\infty v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,\a}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{\a,\b}w_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{\b,l}\\
			&\times\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s+\left(p_r+p'_r+p''_r\right)p''_s+\left(q_r+q'_r+q''_r\right)q''_s+\left(q_s+q'_s\right)p''_r-\left(q_r+q'_r\right)p''_s}\\
			&\times z_1^{p_1+p'_1+p''_1}\ldots z_n^{p_n+p'_n+p''_n}\bz_1^{q_1+q'_1+q''_1}\ldots \bz_n^{q_n+q'_n+q''_n}\\
			=&\sum_{\a,\b=1}^N\sum_{p_1+p'_1+p''_1=p'''_1,\ldots,p_n+p'_n+p''_n=p'''_n\atop q_1+q'_1+q''_1=q'''_1,\ldots,q_n+q'_n+q''_n=q'''_n}^\infty v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,\a}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{\a,\b}w_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{\b,l}\\
			&\times\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s+p'''_rp''_s+q'''_rq''_s+\left(q'''_s-q''_s\right)p''_r-\left(q'''_r-q''_r\right)p''_s}\\
			&\times z_1^{p_1+p'_1+p''_1}\ldots z_n^{p_n+p'_n+p''_n}\bz_1^{q_1+q'_1+q''_1}\ldots \bz_n^{q_n+q'_n+q''_n}.
		\end{align*}
		The coefficient of $z_1$ in $q_{k,l}$ is
		\begin{align*}
			c_{1,\ldots,0}^{k,l}=&\sum_{\a,\b=1}^N\left(v_{1,\ldots,0}^{k,\a}a_{0,\ldots,0}^{\a,\b}w_{0,\ldots,0}^{\b,l}+v_{0,\ldots,0}^{k,\a}a_{1,\ldots,0}^{\a,\b}w_{0,\ldots,0}^{\b,l}+v_{0,\ldots,0}^{k,\a}a_{0,\ldots,0}^{\a,\b}w_{1,\ldots,0}^{\b,l}\right)\\
			=&v_{1,\ldots,0}^{k,l}a_{0,\ldots,0}^{l,l}+a_{1,\ldots,0}^{k,l}+a_{0,\ldots,0}^{k,k}w_{1,\ldots,0}^{k,l}.
		\end{align*}
		Note that
		\begin{equation}
			a_{0,\ldots,1,\ldots,0}^{k,l}=\sum_{j=1}^N\left(a_{0,\ldots,1,\ldots,0}^{k,j}a_{0,\ldots,0}^{j,l}+a_{0,\ldots,0}^{k,j}a_{0,\ldots,1,\ldots,0}^{j,l}\right)=a_{0,\ldots,1,\ldots,0}^{k,l}\left(a_{0,\ldots,0}^{k,k}+a_{0,\ldots,0}^{l,l}\right),
		\end{equation}
		where 1 is at the $h$-th position, so $a_{0,\ldots,1,\ldots,0}^{k,l}=0$ where $1\leq k,l\leq r$ and $r+1\leq k,l\leq N$, $1\leq h\leq 2n$. Also,
		\begin{equation}
			v_{1,\ldots,0}^{k,l}+w_{1,\ldots,0}^{k,l}=0
		\end{equation}
		where 1 is at the $(n+1)$-th position. If we set
		\begin{equation}
			v_{1,\ldots,0}^{k,l}=\left\{\begin{aligned}
				a_{1,\ldots,0}^{k,l},~&1\leq k\leq r<l\leq N,\\
				-a_{1,\ldots,0}^{k,l},~&1\leq l\leq r<k\leq N,
			\end{aligned}\right.
		\end{equation}
		then $c_{1,\ldots,0}^{k,l}=0$ for all  $1\leq k,l\leq N$, which means the coefficient of $z_1$ in $q_{k,l}$ is 0. In fact this implies the coefficient of $\bz_1$ in $q_{k,l}$ is also 0. Similarly for $1\leq h\leq n$, set
		\begin{equation}
			v_{0,\ldots,1,\ldots,0}^{k,l}=\left\{\begin{aligned}
				a_{0,\ldots,1,\ldots,0}^{k,l},~&1\leq k\leq r<l\leq N,\\
				-a_{0,\ldots,1,\ldots,0}^{k,l},~&1\leq l\leq r<k\leq N
			\end{aligned}\right.
		\end{equation}
		where all 1's are at the $h$-th position, the coefficient of $z_h$ and $\bz_h$ in $q_{k,l}$ are 0 for all $1\leq k,l\leq N$.

		Next,
		\begin{align*}
			a_{0,\ldots,2,\ldots,0}^{k,l}=&\sum_{j=1}^N\left(a_{0,\ldots,2,\ldots,0}^{k,j}a_{0,\ldots,0}^{j,l}+a_{0,\ldots,1,\ldots,0}^{k,j}a_{0,\ldots,1,\ldots,0}^{j,l}+a_{0,\ldots,0}^{k,j}a_{0,\ldots,2,\ldots,0}^{j,l}\right)\\
			=&\left\{\begin{aligned}
				2a_{0,\ldots,2,\ldots,0}^{k,l}+\sum_{j=r+1}^Na_{0,\ldots,1,\ldots,0}^{k,j}a_{0,\ldots,1,\ldots,0}^{j,l},~&1\leq k,l\leq r,\\
				\sum_{j=1}^r a_{0,\ldots,1,\ldots,0}^{k,j}a_{0,\ldots,1,\ldots,0}^{j,l},~&r+1\leq k,l\leq N,\\
				a_{0,\ldots,2,\ldots,0}^{k,l},&\text{ other cases,}
			\end{aligned}\right.
		\end{align*}
		where 1 and 2 are at the $h$-th position,   so
		\begin{equation}
			a_{0,\ldots,2,\ldots,0}^{k,l}=\left\{\begin{aligned}
				-\sum_{j=r+1}^Na_{0,\ldots,1,\ldots,0}^{k,j}a_{0,\ldots,1,\ldots,0}^{j,l},~&1\leq k,l\leq r,\\
				\sum_{j=1}^r a_{0,\ldots,1,\ldots,0}^{k,j}a_{0,\ldots,1,\ldots,0}^{j,l},~&r+1\leq k,l\leq N.
			\end{aligned}\right.
		\end{equation}
		Also,
		\begin{equation}
			v_{2,\ldots,0}^{k,l}+\sum_{j=1}^Nv_{1,\ldots,0}^{k,j}w_{1,\ldots,0}^{j,l}+w_{2,\ldots,0}^{k,l}=0.
		\end{equation}
		The coefficient of $z_1^2$ in $q_{k,l}$ is
		\begin{align*}
			c_{2,\ldots,0}^{k,l}=&\sum_{\a,\b=1}^N\left(v_{2,\ldots,0}^{k,\a}a_{0,\ldots,0}^{\a,\b}w_{0,\ldots,0}^{\b,l}+v_{0,\ldots,0}^{k,\a}a_{2,\ldots,0}^{\a,\b}w_{0,\ldots,0}^{\b,l}+v_{0,\ldots,0}^{k,\a}a_{0,\ldots,0}^{\a,\b}w_{2,\ldots,0}^{\b,l}+v_{1,\ldots,0}^{k,\a}a_{1,\ldots,0}^{\a,\b}w_{0,\ldots,0}^{\b,l}\right.\\
			&\left.\quad+v_{1,\ldots,0}^{k,\a}a_{0,\ldots,0}^{\a,\b}w_{1,\ldots,0}^{\b,l}+v_{0,\ldots,0}^{k,\a}a_{1,\ldots,0}^{\a,\b}w_{1,\ldots,0}^{\b,l}\right)\\
			=&v_{2,\ldots,0}^{k,l}a_{0,\ldots,0}^{l,l}+a_{2,\ldots,0}^{k,l}+a_{0,\ldots,0}^{k,k}w_{2,\ldots,0}^{k,l}+\sum_{\a=1}^Nv_{1,\ldots,0}^{k,\a}a_{1,\ldots,0}^{\a,l}+\sum_{\a=1}^Nv_{1,\ldots,0}^{k,\a}a_{0,\ldots,0}^{\a,\a}w_{1,\ldots,0}^{\a,l}+\sum_{\a=1}^Na_{1,\ldots,0}^{k,\a}w_{1,\ldots,0}^{\a,l}\\
			=&\left\{\begin{aligned}
				0,~&1\leq k,l\leq r,\\
				0,~&r+1\leq k,l\leq N,\\
				a_{2,\ldots,0}^{k,l}-v_{2,\ldots,0}^{k,l}+\sum_{j=1}^rv_{1,\ldots,0}^{k,j}a_{1,\ldots,0}^{j,l},~&1\leq k\leq r<l\leq N,\\
				a_{2,\ldots,0}^{k,l}+v_{2,\ldots,0}^{k,l}+\sum_{j=r+1}^Nv_{1,\ldots,0}^{k,j}a_{1,\ldots,0}^{j,l},~&1\leq l\leq r<k\leq N.
			\end{aligned}\right.
		\end{align*}
		If we set
		\begin{equation}
			v_{2,\ldots,0}^{k,l}=\left\{\begin{aligned}
				a_{2,\ldots,0}^{k,l}+\sum_{j=1}^rv_{1,\ldots,0}^{k,j}a_{1,\ldots,0}^{j,l},~&1\leq k\leq r<l\leq N,\\
				-a_{2,\ldots,0}^{k,l}-\sum_{j=r+1}^Nv_{1,\ldots,0}^{k,j}a_{1,\ldots,0}^{j,l},~&1\leq l\leq r<k\leq N,
			\end{aligned}\right.
		\end{equation}
		then $c_{2,\ldots,0}^{k,l}=0$ for all  $1\leq k,l\leq N$, which means the coefficient of $z_1^2$ and $\bz_1^2$ in $q_{k,l}$ are  0.  Like before, for $1\leq h\leq n$, set
		\begin{equation}
			v_{0,\ldots,2,\ldots,0}^{k,l}=\left\{\begin{aligned}
				a_{0,\ldots,2,\ldots,0}^{k,l}+\sum_{j=1}^rv_{0,\ldots,1,\ldots,0}^{k,j}a_{0,\ldots,1,\ldots,0}^{j,l},~&1\leq k\leq r<l\leq N,\\
				-a_{0,\ldots,2,\ldots,0}^{k,l}-\sum_{j=r+1}^Nv_{0,\ldots,1,\ldots,0}^{k,j}a_{0,\ldots,1,\ldots,0}^{j,l},~&1\leq l\leq r<k\leq N,
			\end{aligned}\right.
		\end{equation}
		where all 1's and 2's are at the $h$-th position, the coefficient of $z_h^2$ and $\bz_h^2$ in $q_{k,l}$ are 0 for all $1\leq k,l\leq N$.

		In general, for all
		$(p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n})\in\N^{2n}$ with $\sum_{j=1}^n\left(p''_j+q''_j\right)\geq 1$, we set
		\begin{equation}\label{vkrl}
			v_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}=\left\{\begin{aligned}
			a_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}+\sum_{j=1}^N\sum_{{p_1+p'_1=p''_1,\ldots,p_n+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n}\atop\sum_{j=1}^n\left(p_j+q_j\right),\sum_{j=1}^n\left(p'_j+q'_j\right)\geq 1}v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\\
			\times\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s},~1\leq k\leq r<l\leq N,\\
			-a_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}-\sum_{j=1}^N\sum_{{p_1+p'_1=p''_1,\ldots,p_n+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n}\atop\sum_{j=1}^n\left(p_j+q_j\right),\sum_{j=1}^n\left(p'_j+q'_j\right)\geq 1}v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\\
			\times\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s},~1\leq l\leq r<k\leq N,\\
			\end{aligned}\right.
		\end{equation}
		and for $1\leq k,l\leq r$ and $r+1\leq k,l\leq N$, $v_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}$ are chosen such that \eqref{vw0} are satisfied for all $(p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n})\in\N^{2n}$. It's not hard to see that this can be done from $\sum_{j=1}^n\left(p''_j+q''_j\right)=1$ to any far.

		For $1\leq k,l\leq r$, from \eqref{aaa} we have
		\begin{equation}\label{aklr}
			a_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}=-\sum_{{p_1+p'_1=p''_1,\ldots,p_n+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n }\atop\sum_{j=1}^n\left(p_j+q_j\right),\sum_{j=1}^n\left(p'_j+q'_j\right)\geq 1}a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}.
		\end{equation}
	By applying \eqref{vkrl} and \eqref{aklr} repeatly, the sum

	\begin{align*}
		&\sum_{j=1}^N\sum_{p_1+p'_1=p''_1,\ldots,p_n+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n}v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}\\
		=&\sum_{j=1}^N\sum_{{p_1+p'_1=p''_1,\ldots,p_n+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n }\atop\sum_{j=1}^n\left(p_j+q_j\right),\sum_{j=1}^n\left(p'_j+q'_j\right)\geq 1}v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}\\
		&+v_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}+a_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}\\
		=&\sum_{j=1}^r\sum_{{p_1+p'_1=p''_1,\ldots,p_n+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n }\atop\sum_{j=1}^n\left(p_j+q_j\right),\sum_{j=1}^n\left(p'_j+q'_j\right)\geq 1}v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}\\
		&+\sum_{j=r+1}^N\sum_{{p_1+p'_1=p''_1,\ldots,p_n+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n }\atop\sum_{j=1}^n\left(p_j+q_j\right),\sum_{j=1}^n\left(p'_j+q'_j\right)\geq 1}v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}\\
		&+v_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}+a_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}
	\end{align*}
	can be finally expressed by the sum of type VA:
	\begin{equation}\label{vaa}
		\begin{aligned}
			&v_{p_{1,0},\ldots,p_{n,0},q_{1,0},\ldots,q_{n,0}}^{k,\a_1}\prod_{j=1}^{n_1}a_{p_{1,2j-1},\ldots,p_{n,2j-1},q_{1,2j-1},\ldots,q_{n,2j-1}}^{\a_j,\b_j}a_{p_{1,2j},\ldots,p_{n,2j},q_{1,2j},\ldots,q_{n,2j}}^{\b_j,\a_{j+1}}\Phi_{\{p_{r,s},q_{r,s}\}_{1\leq r\leq n,0\leq s\leq 2n_1}}
		\end{aligned}
	\end{equation}
	and type AA:
	\begin{equation}\label{aa}
		\begin{aligned}
			&\prod_{j=1}^{n_2}a_{p'_{1,2j-1},\ldots,p'_{n,2j-1},q'_{1,2j-1},\ldots,q'_{n,2j-1}}^{\g_j,\d_j}a_{p'_{1,2j},\ldots,p'_{n,2j},q'_{1,2j},\ldots,q'_{n,2j}}^{\d_j,\g_{j+1}}\Phi_{\{p'_{r,s},q'_{r,s}\}_{1\leq r\leq n,1\leq s\leq 2n_2}},
		\end{aligned}
	\end{equation}
	here $n_1,n_2\in\N$, $\sum_{v=0}^{2n_1}\sum_{u=1}^n\left(p_{u,v}+q_{u,v}\right)=\sum_{v=1}^{2n_2}\sum_{u=1}^n\left(p'_{u,v}+q'_{u,v}\right)=\sum_{u=1}^n\left(p''_u+q''_u\right)$, $1\leq\a_u\leq r<\b_u\leq N$, $1\leq\g_v\leq r<\d_v\leq N$, $1\leq u\leq n_1$, $1\leq v\leq n_2$, $\g_1=k$, $\a_{n_1+1}=\g_{n_2+1}=l$, $\Phi_{\{p_{r,s},q_{r,s}\}_{1\leq r\leq n,0\leq s\leq 2n_j}}$ is a complex number with norm 1 which is determined by $p_{r,s}$ and $q_{r,s}$ where $1\leq r\leq n$, $0\leq s\leq 2n_j$, $j=1,2$.

	From \eqref{aklr} the expression of
	\begin{equation}
		\sum_{j=1}^r\sum_{{p_1+p'_1=p''_1,\ldots,p_n+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n }\atop\sum_{j=1}^n\left(p_j+q_j\right),\sum_{j=1}^n\left(p'_j+q'_j\right)\geq 1}v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}
	\end{equation}
	contains only terms of type VA and all are equiped with negative signs; From \eqref{vkrl} the expression of
	\begin{equation}
		\sum_{j=r+1}^N\sum_{{p_1+p'_1=p''_1,\ldots,p_n+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n }\atop\sum_{j=1}^n\left(p_j+q_j\right),\sum_{j=1}^n\left(p'_j+q'_j\right)\geq 1}v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}
	\end{equation}
	contains both types and all are equiped with positive signs; Finally, from
	\eqref{aklr} again we can see that the expression of $a_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}$ contains only terms of type AA and all are equiped with negative signs. Hence we have
	\begin{equation}
		\sum_{j=1}^N\sum_{p_1+p'_1=p''_1,\ldots,p_n+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n}v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}=v_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l}.
	\end{equation}
	Similarly we can prove that for $r+1\leq k,l\leq N$,
	\begin{equation}
		\sum_{j=1}^N\sum_{p_1+p'_1=p''_1,\ldots,p_n+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n}v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}=0.
	\end{equation}
In summary, for all  $(p'''_1,\ldots,p'''_{n},q'''_1,\ldots,q'''_{n})\in\N^{2n}$ with $\sum_{j=1}^n\left(p'''_j+q'''_j\right)\geq1$ we have
\begin{equation}
	\begin{aligned}
		&\sum_{j=1}^N\sum_{p_1+p'_1=p''_1,\ldots,p_n+p'_n=p''_n\atop q_1+q'_1=q''_1,\ldots,q_n+q'_n=q''_n}v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,j}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{j,l}\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}\\
		=&\left\{\begin{aligned}
			v_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{k,l},~1\leq k\leq r,\\
			0,~r+1\leq k\leq N.\\
		\end{aligned}\right.
	\end{aligned}
\end{equation}
	Then for all  $(p'''_1,\ldots,p'''_{n},q'''_1,\ldots,q'''_{n})\in\N^{2n}$ with $\sum_{j=1}^n\left(p'''_j+q'''_j\right)\geq1$,
		\begin{align*}
			&c_{p'''_1,\ldots,p'''_{n},q'''_1,\ldots,q'''_{n}}^{k,l}\\
			=&\sum_{\a,\b=1}^N\sum_{p_1+p'_1+p''_1=p'''_1,\ldots,p_n+p'_n+p''_n=p'''_n\atop q_1+q'_1+q''_1=q'''_1,\ldots,q_n+q'_n+q''_n=q'''_n} v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,\a}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{\a,\b}w_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{\b,l}\\
			&\times\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s+p'''_rp''_s+q'''_rq''_s+\left(q'''_s-q''_s\right)p''_r-\left(q'''_r-q''_r\right)p''_s}\\
			=&\sum_{\a,\b=1}^N\sum_{p_1+p'_1+p''_1=p'''_1,\ldots,p_n+p'_n+p''_n=p'''_n\atop q_1+q'_1+q''_1=q'''_1,\ldots,q_n+q'_n+q''_n=q'''_n} v_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,\a}a_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{\a,\b}\prod_{r=s+1}^n\l_{r,s}^{p_rp'_s+q_rq'_s+q_sp'_r-q_rp'_s}\\
			&\times w_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{\b,l}\prod_{s=1}^{n-1}\prod_{r=s+1}^n\l_{r,s}^{\left(p_r+p'_r+p''_r\right)p''_s+\left(q_r+q'_r+q''_r\right)q''_s+\left(q_s+q'_s\right)p''_r-\left(q_r+q'_r\right)p''_s}\\
			=&\left\{\begin{aligned}
				\sum_{\b=1}^N\sum_{p'_1+p''_1=p'''_1,\ldots,p'_n+p''_n=p'''_n\atop q'_1+q''_1=q'''_1,\ldots,q'_n+q''_n=q'''_n} v_{p'_1,\ldots,p'_{n},q'_1,\ldots,q'_{n}}^{k,\b}w_{p''_1,\ldots,p''_{n},q''_1,\ldots,q''_{n}}^{\b,l}\prod_{r=s+1}^n\l_{r,s}^{p''_rp''_s+q''_rq''_s+p'_rp''_s+q'_rq''_s+q'_sp''_r-q'_rp''_s}\\
				=0,~1\leq k\leq r,\\
				0,~r+1\leq k\leq N,\\
			\end{aligned}\right.
		\end{align*}
		which means
		\begin{equation}
			\mathcal{U}\mathcal{P}\mathcal{U}^*=\begin{pmatrix}
				I_r & 0\\
				0 & 0\\
			\end{pmatrix}.
		\end{equation}
	Hence we have $K_0(\incren)=\Z$.
	\end{proof}
	For the case where $m$ is odd, $m=2n+1$, replace all $a_{p_1,\ldots,p_{n},q_1,\ldots,q_{n}}^{k,l}$ with series of $x$ in the proof of Theorem \ref{inp2n}, and $K_0(\C[x])=\Z$ guarantees that we can still make the assumption \eqref{asa}. Then by applying the same method as above, we can prove $K_0(\incron)=\Z$, and we finish the proof of Theorem \ref{m}.
	\begin{remark}
		We left the study of Morita equivalence of $m$-planes for future.
	\end{remark}