Without loss of generality we assume that D is irreducible. If \mathrm{St}(D)\not=\{0\}, by taking the quotient q: M\rightarrow M/\mathrm{St}(D) and deal with the holomorphic curve q\circ f:{\mathbb{A}}(R_0)\rightarrow M/\mathrm{St}(D) and the divisor D/\mathrm{St}(D), then we may reduce to the case where D is
irreducible and \mathrm{St}(D)=\{0\}. Thus we may assume that D is irreducible and \mathrm{St}(D)=\{0\}.
By Lemma 4.1, there exists a smooth equivariant compactification \overline M of M, in which \overline D is generally positioned and big.
Let J_k(f):{\mathbb{A}}(R_0)\rightarrow J_k(\overline M, \log \partial M)\cong\overline M\times {\mathbb{C}}^{nk} be the k-jet lifting of f. We have the following claim from [Q12, Claim 6.1]
Claim. There exists a number k_0 such that
\begin{aligned}
\pi_2\big (J_{k_0}(\overline D, \log \partial M)\big )\cap \pi_2(\overline{J_{k_0}f({\mathbb{A}}(R_0) )}^{\mathrm{Zar}})\not= \pi_2(\overline{J_{k_0}f({\mathbb{A}}(R_0) )}^{\mathrm{Zar}}),
\end{aligned}
where \overline{J_{k_0}f({\mathbb{A}}(R_0) )}^{\mathrm{Zar}} is the Zariski closure of J_{k_0}f({\mathbb{A}}(R_0) ) in J_k(\overline M, \log \partial M).
Since the proof of this claim is just follow the proof of [Q12, Claim 6.1] with the same lines, we will omit its proof here.
Let \{U_\alpha\} be an affine open covering of \overline M
such that
L(\overline{D})|_{U_\alpha} \cong U_\alpha \times {\mathbb{C}}.
We take \sigma \in H^{0}(\overline M,L(\overline D)) so that {\mathop{\mathrm{div}}} (\sigma )=\overline D and take local holomorphic functions \sigma_\alpha
=\sigma|_{U_\alpha} given by the trivialization (Proof).
We fix a Hermitian metric \| \cdot \| in L(\overline D) and choose positive smooth functions h_\alpha on U_\alpha such that
\dfrac{1}{\|\sigma (x)\|}=\dfrac{h_\alpha(x)}{|\sigma_\alpha(x)|}, \qquad x\in U_\alpha.
By Claim Proof, there exists a polynomial R(w ) in variable
w=(w_{lk})\in \pi_2\left(\overline {J_{k_0}(f)({\mathbb{A}}(R_0) )}^{\text{Zar}}\right)\cong {\mathbb{C}}^{nk_0}
such that
\begin{aligned}
\pi_2\left (J_{k_0}(\overline D,\log\partial M)\right )\cap\pi_2\left
(\overline {J_{k_0}(f)({\mathbb{A}}(R_0) )}^{\text{Zar}}\right )&\subset\left\{w \in\pi_2\left (\overline {J_{k_0}(f)({\mathbb{A}}(R_0) )}^{\text{Zar}}\right )|\ R(w )=0\right\}\\
&\not=\pi_2\left (\overline {J_{k_0}(f)({\mathbb{A}}(R_0) )}^{\text{Zar}}\right ).
\end{aligned}
Then we have an equation on every U_\alpha\times \pi_2\left (\overline {J_{k_0}(f)({\mathbb{A}}(R_0) )}^{\text{Zar}}\right ) of the form:
\begin{aligned}{}
b_{\alpha 0}\sigma_\alpha +b_{\alpha 1}d\sigma_\alpha +\cdots +b_{\alpha k_0}d^{k_0}\sigma_\alpha=R(w ),
\end{aligned}
where b_{\alpha i} are jet differentials on U_\alpha.
Therefore, in every U_j\times \pi_2\left (\overline {J_{k_0}(f)({\mathbb{A}}(R_0) )}^{\text{Zar}}\right ), we have
\dfrac{1}{\|\sigma \|}=\dfrac{1}{|R|}
\dfrac{h_\alpha}{|\sigma_\alpha|}=\dfrac{1}{|R|}
\left| h_\alpha b_{\alpha 0}+h_\alpha b_{\alpha 1}\dfrac{d\sigma_\alpha}{\sigma_\alpha}+\cdots +h_\alpha b_{\alpha k_0}\dfrac{d^{k_0}\sigma_\alpha}{\sigma_\alpha}\right|.
Choose relatively compact open subsets U'_\alpha of U_\alpha so that
\cup_\alpha U'_\alpha =\overline M. For every \alpha, there exist
positive constants C_\alpha such that
h_\alpha|b_{\alpha i}|\le\sum_{\text{finite}}h_\alpha |b_{\alpha
ilk\beta_{lk}(x)}|\cdot |w_{lk}|^{\beta_{lk}}\le
C_\alpha\sum_{\text{finite}}|w_{lk}|^{\beta_{lk}}
for all x\in U'_\alpha.
By making C_\alpha larger if necessary, there exists d_\alpha >0 such that for f(z)\in U'_\alpha we have
h_\alpha (f(z))|b_{\alpha i}(J_{k_0}(f)(z))|\le C_\alpha
\left(1+\sum_{\underset{1\le k\le k_0}{1\le l\le n}}\left| w_{lk}\circ J_{k_0}(f)(z)\right|\right)^{d_\alpha}.
Setting \xi_{(k)}=(w_{1k}(J_{k}(f)),\cdots ,w_{2k}(J_{k}(f))) and
\xi_{l(k)}=w_{lk}(J_{k}(f)), for f(z) \in U'_\alpha we have
\dfrac{1}{\|\sigma (f(z))\|}\le\dfrac{1}{|R(\xi_{(1)}(z),\cdots
,\xi_{(k_0)}(z))|}\sum_{j=1}^{N}C_\alpha \left(1+\sum_{\underset{1\le k\le
k_0}{1\le l\le n}}|
\xi_{l (k)} (z)|\right)^{d_\alpha}
\quad\quad\quad\quad\times \left (
1+\left| \dfrac{d\sigma_\alpha}{\sigma_\alpha}(J_1(f)(z))\right| + \cdots +
\left| \dfrac{d^{k_0}\sigma_\alpha}{\sigma_\alpha}\left(J_{k_0}(f)(z)\right)\right|
\right ).
This implies that
\begin{aligned}
m_{0,f}(r;\overline D)&=\dfrac{1}{2\pi}\int_{0}^{2\pi}\log^{+}\dfrac{1}{\|\sigma (f(re^{i\theta})\|}d\theta +\dfrac{1}{2\pi}\int_{0}^{2\pi}\log^{+}\dfrac{1}{\|\sigma (f(\frac{1}{r}e^{i\theta})\|}d\theta +O(1)\\
&\le m_0\left (r,\dfrac{1}{R(\xi_{(1)}(z),\cdots ,\xi_{(k_0)}(z))}\right )\\
&+O\biggl (\sum_{\underset{1\le k\le k_0}{1\le l\le n}}\frac{1}{2\pi}\int_{0}^{2\pi}\bigl (\log^+|\xi_{l(k)}(re^{i\theta })|+\log^+|\xi_{l(k)}(\frac{1}{r}e^{i\theta })|\bigl )d\theta\\
&+\sum_{\underset{1\le k\le k_0}{1\le \le n}}\frac{1}{2\pi}\int_{0}^{2\pi}\bigl (\log^+\bigl |\dfrac{d^k\sigma_\alpha}{\sigma_\alpha}(J_k(f)(re^{i\theta })\bigl |+\log^+\bigl |\dfrac{d^k\sigma_\alpha}{\sigma_\alpha}(J_k(f)+(\frac{1}{r}e^{i\theta })\bigl )\bigl |d\theta\biggl )+O(1).
\end{aligned}
By Lemma 1.1 and by (?) we have
\begin{aligned}
\biggl\| \ m_0\left (r,\dfrac{d^k\sigma_j\circ f}{\sigma_j\circ f}\right )=O(\log^+T_{0,f}(r;c_1(\overline D)))+O\left (\log^+\frac{1}{R_0-r}\right ).
\end{aligned}
Combining Lemma 1.1, (Proof) and (Proof) we obtain
\begin{aligned}
\biggl\| \quad m_{0,f}(r;\overline D)=O(\log^+T_{0,f}(r;c_1(\overline D)))+O\left(\log\frac{1}{R_0-r}\right).
\end{aligned}
We next estimate the counting function N_0(r, f^*D).
We see that for all z\in{\mathbb{A}}(R_0),
{\mathrm{ord}}_zf^{*}D>k\Leftrightarrow J_k(f)(z)\in J_k(\overline D,\log\partial M).
Then, from (Proof) we have
{\mathrm{ord}}_zf^*D-\min\{{\mathrm{ord}}_zf^*D,k_0\}\le{\mathrm{ord}}_z{\mathop{\mathrm{div}}}_0(R(\xi_{(1)},\cdots ,
\xi_{(k_0)})).
Thus
\begin{aligned}
N_0(r,f^*D) - N^{[k_0]}_0(r,f^*D)\le N_0(r,{\mathop{\mathrm{div}}}_0R(\xi_{(1)},\cdots ,\xi_{(k_0)})).
\end{aligned}
By the first main theorem and by Lemma 1.1, we have
\begin{aligned}
\|\ N_0(r,{\mathop{\mathrm{div}}}_0R(\xi_{(1)},\cdots ,\xi_{(k_0)}))&\le T_0(r,R(\xi_{(1)},\cdots , \xi_{(k_0)}))+O(1)\\
&\le O\left(\sum_{\underset{1\le k\le k_0}{1\le l\le n}}T_0(r,\xi_{l(k)})\right )+O(1)\\
&=O\left(\sum_{\underset{0\le k\le k_0-1}{1\le l\le n}}m_0(r, \xi_{l(k)})\right )+O(1)\\
&=O(\log^+T_{0,f}(r;c_1(\overline D)))+O\left(\log^+\frac{1}{R_0-r}\right).
\end{aligned}
By (Proof), we have
\begin{aligned}
T_{0,f}(r;c_1(\overline D))\le N_0(r,f^*D) +O(1).
\end{aligned}
Combining (Proof), (Proof) and (Proof), we obtain
\biggl\|\ T_{0,f}(r;c_1(\overline D))\le N^{[k_0]}(r,f^*D)+O(\log^+T_{0,f}(r;c_1(\overline D)))+O\left(\log^+\frac{1}{R_0-r}\right).
The theorem is proved.