1: \begin{proof} The first statement and the expression for the symbols of $N^\inn_{D,q_j}$, $N^\inn_{D,0}$, and $N^\out_{D}$ are well known, see more details in \cite{Laksh2013b}.

2: The formula on the left of (\ref{kvf}) is a consequence of Green's first identity and the definition of the far field, compare~\eqref{eq:imagT}; positivity of the left-hand side is a consequence of Rellich's lemma. Two last statements can be found in \cite[lemma 1.1]{Laksh2013b}. It is justified by calculating the first three terms of the full symbols of $N^\inn_{D,0}$ and $N^\inn_{D,q_j}$ (the differences of the first two terms of the symbols vanishes).

3: The proof of item (d) consists in computing the full symbol of the pseudo-differential operators $N^\inn_{D,0}$ and $N^\inn_{D,q_j}$.

4: This procedure is described in detail in Sections 3 and 4 of \cite{Laksh2013b} and has been justified in \cite{vainberg1967uniformly}, see also~\cite[Ch.VII]{eskin2011lectures} and~\cite{lee1989determining}.

5: Note that the coefficient $\rm{const_m}$ of the principal symbol is calculated rigorously in \cite{Laksh2013b} for $m=0$ and $m=1$ only.

6: For general $m>0$, calculating $\rm{const_m}$ reduces to calculating two determinants of a band matrix of size $m\times m$ and band width two; we omit this calculation since %it is quite simple from one side, and precise a lot of designations

7: it requires a significant amount of notation that is not going to be used again.

8: % Changing sign $(-1)^m$ reflects the fact that $\nu$ is an exterior to the domain where the PDE is considered. 

9: \end{proof}

10: