1: \begin{proof} Proof is analogous to that of Lemma \ref{L:july9a}. We  use

2: Corollary \ref{C:july9a1} for $n=4$ and Corollary \ref{C:+} for

3: $n>4$, as well as Corollary \ref{C:new1} ($n=4$) and Corollary

4: \ref{C:new1+} ($n>4$).\footnote{Rigorously speaking, we have to

5: assume that the lemma holds for $n$-th step. For $(n+1)$-th step

6: it follows from   Corollaries \ref{C:+} and \ref{C:new1+}.} Part 2

7: of the lemma follows from the definition of ${\cal

8: O}^{(n-1)}\left(\vec b^{(n-1)}\right)$ and Corollary

9: \ref{C:c1}.\end{proof}

10: