1: \begin{definition}

2: A sequence $\{\cP_\mu(t_0,t_1,X_0,X_1,X_2),\,\cQ_{d-\mu}(t_0,t_1,X_0,X_1,X_2)\}$ as in Theorem \ref{syz}, is called a {\em $\mu$-basis} of $\phi.$ 

3: \end{definition}

4: