For given a\in {\rm M}_{\infty}(A)_{+},~\varepsilon>0, we may assume that a\in A_+, and
\|a\|=1, (we have replaced {\rm M}_{n}(A) containing a given initially by A), we must show that there are x_{1}, x_{2}, \cdots, x_{n}\in {\rm M}_{\infty}(A)_{+} such that
m\langle x_{j}\rangle \leq \langle a \rangle +\langle a \rangle,
and \langle (a-\varepsilon)_{+} \rangle\leq\langle x_{1} \rangle+\langle x_{2} \rangle+\cdots+\langle x_{n} \rangle for all j=1, 2, \cdots, n.
For any \delta_{1}>0, since A\in {\rm WTA}\Omega, there exist a projection p\in A, an element g\in A with 0\leq g \leq1,
and a \rm C^{*}-subalgebra B of A with g\in B, 1_{B}=p, and B\in \Omega such that
(1) (p-g)a\in_{\delta_{1}}B, and
(2) \|(p-g)a-a(p-g)\|<\delta_{1}.
By (2), with sufficiently small \delta_{1}, by Lemma 2.5.11 (1) of [L2], we have
(3) \|(p-g)^{\frac{1}{2}}a-a(p-g)^{\frac{1}{2}}\|<\varepsilon/3, and
(4) \|(1-(p-g))^{\frac{1}{2}}a-a(1-(p-g))^{\frac{1}{2}}\|<\varepsilon/3.
By (1) and (2), with sufficiently small \delta_{1}, there exists a positive element a^{'}\in B such that
(5) \|(p-g)^{\frac{1}{2}}a(p-g)^{\frac{1}{2}}-a^{'}\|<\varepsilon/3.
By (3), (4) and (5),
\|a-a^{'}-(1-(p-g))^{\frac{1}{2}}a(1-(p-g))^{\frac{1}{2}}\|
\leq\|a-(p-g)a-(1-(p-g))a\|+\|(p-g)a-(p-g)^{\frac{1}{2}}a(p-g)^{\frac{1}{2}}\|
+\|(1-(p-g))a-(1-(p-g))^{\frac{1}{2}}a(1-(p-g))^{\frac{1}{2}}\|
+\|(p-g)^{\frac{1}{2}}a(p-g)^{\frac{1}{2}}-a^{'}\|
<\varepsilon/3+\varepsilon/3+\varepsilon/3=\varepsilon.
Since B is weakly (m, n)-divisible, and (a^{'}-2\varepsilon)_{+}\in B_+, there exist
x_{1}^{'}, x_{2}^{'}, \cdots, x_{n}^{'}\in B, such that
\langle x_{j}^{'}\rangle +\langle x_{j}^{'}\rangle +\cdots+\langle x_{j}^{'}\rangle \leq\langle(a^{'}-2\varepsilon)_{+} \rangle,
and \langle(a^{'}-3\varepsilon)_{+} \rangle\leq\sum_{i=1}^{n}\langle x_{i}^{'}\rangle, where \langle x_{j}^{'}\rangle repeats m times.
Since B is weakly (m, n)-divisible, and (a^{'}-\varepsilon)_{+}\in B, there exist
y_{1}^{'}, y_{2}^{'}, \cdots, y_{n}^{'}\in B, such that
\langle y_{j}^{'}\rangle +\langle y_{j}^{'}\rangle +\cdots+\langle y_{j}^{'}\rangle \leq\langle(a^{'}-\varepsilon)_{+} \rangle,
and \langle(a^{'}-2\varepsilon)_{+} \rangle\leq\sum_{i=1}^{n}\langle y_{i}^{'}\rangle, where \langle y_{j}^{'}\rangle repeats m times.
Write a^{''}=(1-(p-g))^{\frac{1}{2}}a(1-(p-g))^{\frac{1}{2}}.
We divide the proof into two cases.
Case (1) We assume that (a^{'}-2\varepsilon)_{+} is Cuntz equivalent to a projection.
(1.1) We assume that (a^{'}-3\varepsilon)_{+} is Cuntz equivalent to a projection.
(1.1.1) We assume that (a^{'}-2\varepsilon)_{+} is Cuntz equivalent to (a^{'}-3\varepsilon)_{+}.
(1.1.1.1) If x_{1}^{'}, x_{2}^{'}, \cdots, x_{n}^{'}\in B are all Cuntz equivalent to projections,
and \langle(a^{'}-3\varepsilon)_{+} \rangle\leq\sum_{i=1}^{n}\langle x_{i}^{'}\rangle,
then, by Theorem 2.1 (2), there exist some integer j and a nonzero projection d such that \langle x_{j}^{'}+d\rangle +\langle x_{j}^{'}+d\rangle+\cdots+\langle x_{j}^{'}+d\rangle \leq\langle(a^{'}-2\varepsilon)_{+} \rangle, where \langle x_{j}^{'}+d\rangle repeats m times, otherwise, this contradicts the stably
finiteness of A (since m\neq n and \rm C^{*}-algebra A is stably finite).
For any \delta_{2}>0, since A\in {\rm WTA}\Omega, there exist a projection p_1\in A, an element g_{1}\in A with
0\leq g_{1} \leq1, and a \rm C^{*}-subalgebra D_1 of A with g_{1}\in D_1, 1_{D{_1}}=p_1, and D_1\in \Omega such that
(1^{'}) (p_1-g_{1})a^{''}\in_{\delta_{2}}D_1,
(2^{'}) \|(p_1-g_{1})a^{''}-a^{''}(p_1-g_{1})\|<\delta_{2}, and
(3^{'}) 1-(p_1-g_{1})\preceq d.
By (1^{'}) and (2^{'}), with sufficiently small \delta_{2}, as above, via the analogues for (4), (5) and (6) for
a^{''},~ p_1, and g_{1}, there exist a positive element a^{'''}\in D_1, such that
\|(p_1-g_{1})^{\frac{1}{2}}a^{''}(p_1-g_{1})^{\frac{1}{2}}-a^{'''}\|<\varepsilon/3, and
\|a^{''}-a^{'''}-(1-(p_1-g_{1}))^{\frac{1}{2}}a^{''}(1-(p_1-g_{1}))^{\frac{1}{2}}\|<\varepsilon.
Since D_1 is weakly (m, n)-divisible, and (a^{'''}-2\varepsilon)_{+}\in D_1, there exist positive elements
x_{1}^{''}, x_{2}^{''}, \cdots, x_{n}^{''}\in D_1, such that
\langle x_{j}^{''}\rangle +\langle x_{j}^{''}\rangle +\cdots+\langle x_{j}^{''}\rangle \leq\langle(a^{'''}-2\varepsilon)_{+} \rangle,
and
\langle(a^{'''}-3\varepsilon)_{+} \rangle\leq\sum_{i=1}^{n}\langle x_{i}^{''}\rangle, where \langle x_{j}^{''}\rangle repeats m times.
Since a^{'}\leq a^{'}+a^{''}, then \langle (a^{'}-\varepsilon)_{+}\rangle\leq \langle (a^{'}+a^{''}-\varepsilon)_{+}\rangle, and \|a-a^{'}-a^{''}\|<\varepsilon, so one has \langle (a^{'}+a^{''}-\varepsilon)_{+}\rangle\leq\langle a\rangle.
Therefore, one has
\langle (a^{'}-2\varepsilon)_{+}\rangle\leq\langle (a^{'}-\varepsilon)_{+}\rangle\leq\langle a\rangle.
Write x=(1-(p_1-g_{1}))^{\frac{1}{2}}a^{''}(1-(p_1-g_{1}))^{\frac{1}{2}}.
Since
a^{'''}\leq a^{'''}+x, then \langle (a^{'''}-2\varepsilon)_{+}\rangle\leq\langle (a^{'''}+x-\varepsilon)_{+}\rangle, and
\|a^{''}-a^{'''}-x\|<\varepsilon, which implies that
\langle (a^{'''}-2\varepsilon)_{+}\rangle\leq\langle a^{''}\rangle \leq\langle a\rangle.
Therefore, we have
\langle (x_{j}^{'}\oplus d)\oplus x_{j}^{''}\rangle +\langle (x_{j}^{'}\oplus d)\oplus x_{j}^{''}\rangle +\cdots+\langle (x_{j}^{'}\oplus d)+ x_{j}^{''}\rangle
\leq\langle (a^{'}-2\varepsilon)_{+}\rangle+\langle (a^{'''}-2\varepsilon)_{+}\rangle\leq
\langle a\rangle+\langle a\rangle,
where \langle (x_{j}^{'}\oplus d)\oplus x_{j}^{''}\rangle repeats m times, and
\langle x_{i}^{'}\oplus x_{i}^{''}\rangle +\langle x_{i}^{'}\oplus x_{i}^{''}\rangle +\cdots\langle x_{i}^{'}\oplus x_{i}^{''}\rangle,
\leq\langle (a^{'}-2\varepsilon)_{+}\rangle+\langle (a^{'''}-2\varepsilon)_{+}\rangle\leq
\langle a\rangle+\langle a\rangle,
where \langle x_{i}^{'}\oplus x_{i}^{''}\rangle repeats m times for 1\leq i\leq n and i\neq j.
We also have
\langle (a-10\varepsilon)_{+}\rangle
\leq\langle (a^{'}-3\varepsilon)_{+}\rangle+\langle (a^{'''}-3\varepsilon)_{+}\rangle+\langle (1-(p_1-g_{1}))^{\frac{1}{2}}a^{''}(1-(p_1-g_{1}))^{\frac{1}{2}}\rangle
\leq\langle (a^{'}-3\varepsilon)_{+}\rangle+\langle (a^{'''}-3\varepsilon)_{+}\rangle+\langle (1-(p_1-g_{1}))\rangle
\leq\langle (a^{'}-3\varepsilon)_{+}\rangle+\langle (a^{'''}-3\varepsilon)_{+}\rangle+\langle d\rangle
\leq\sum_{i=1, i\neq j}
^n\langle x_{i}^{'}\oplus x_{i}^{''}\rangle+\langle (x_{j}^{'}\oplus d)\oplus x_{j}^{''}\rangle.
There are the desired inequalities, with\langle x_{i}^{'}\oplus x_{i}^{''}\rangle+\langle (x_{j}^{'}\oplus d)\oplus x_{j}^{''}\rangle in place of \langle x_{i}\rangle, and 10\varepsilon in place of \varepsilon.
(1.1.1.2) If x_{1}^{'}, x_{2}^{'}, \cdots, x_{k}^{'}\in B are projections, and
\langle(a^{'}-3\varepsilon)_{+} \rangle <\sum_{i=1}^{n}\langle x_{i}^{'}\rangle,
then, by Theorem 2.1 (2), there exists a nonzero projection e, such that \langle(a^{'}-3\varepsilon)_{+} \rangle+\langle e\rangle \leq\sum_{i=1}^{n}\langle x_{i}^{'}\rangle.
As in the part (1.1.1.1), since A\in {\rm WTA}\Omega, there exist a projection p_2\in A, an element g_{2}\in A with
0\leq g_{2} \leq1, and a \rm C^{*}-subalgebra D_2 of A with g_{2}\in D_2, 1_{D_{2}}=p_2, and D_2\in \Omega, by (1)',
there exists a positive element a^{4}\in D_2, such that
1-(p_2-g_{2})\preceq e,
\|(p_2-g_{2})^{\frac{1}{2}}a^{''}(p_2-g_{2})^{\frac{1}{2}}-a^{4}\|<\varepsilon/3, and
\|a^{''}-a^{4}-(1-(p_2-g_{2}))^{\frac{1}{2}}a^{''}(1-(p_2-g_{2}))^{\frac{1}{2}}\|<\varepsilon.
Also as in the part (1.1.1.1),
we have \langle (a^{4}-2\varepsilon)_{+}\rangle\leq \langle a\rangle.
Since D_2 is weakly (m, n)-divisible, (a^{4}-2\varepsilon)_{+}\in D_2, there exist
x_{1}^{4}, x_{2}^{4}, \cdots, x_{n}^{4}\in D_2, such that
\langle x_{j}^{4}\rangle +\langle x_{j}^{4}\rangle +\cdots+\langle x_{j}^{4}\rangle \leq\langle(a^{4}-2\varepsilon)_{+} \rangle,
and
\langle(a^{4}-3\varepsilon)_{+} \rangle\leq\sum_{i=1}^{n}\langle x_{i}^{4}\rangle, where \langle x_{j}^{4}\rangle repeats m times.
Therefore, we have
\langle x_{j}^{'}\oplus x_{j}^{4}\rangle +\langle x_{j}^{'}\oplus x_{j}^{4}\rangle +\cdots+\langle x_{j}^{'}\oplus x_{j}^{4}\rangle
\leq\langle (a^{'}-2\varepsilon)_{+}\rangle+\langle (a^{4}-2\varepsilon)_{+}\rangle\leq
\langle a\rangle+\langle a\rangle,
where \langle x_{j}^{'}\oplus x_{j}^{4}\rangle repeats m time for 1\leq i\leq n.
We also have
\langle (a-10\varepsilon)_{+}\rangle
\leq\langle (a^{'}-3\varepsilon)_{+}\rangle+\langle (a^{4}-3\varepsilon)_{+}\rangle+\langle (1-(p_{2}-g_{2}))^{\frac{1}{2}}a^{''}(1-(p_{2}-g_{2}))^{\frac{1}{2}}\rangle
\leq\langle (a^{'}-3\varepsilon)_{+}\rangle+\langle (a^{4}-3\varepsilon)_{+}\rangle+\langle (1-(p_{2}-g_{2}))\rangle
\leq\langle (a^{'}-3\varepsilon)_{+}\rangle+\langle (a^{4}-3\varepsilon)_{+}\rangle+\langle e\rangle
\leq\sum_{i=1}^{n}\langle x_{i}^{'}\oplus x_{i}^{4}\rangle.
There are the desired inequalities, with \langle x_{i}^{'}\oplus x_{i}^{4}\rangle in place of \langle x_{i}\rangle, and 10\varepsilon in place of \varepsilon.
(1.1.1.3) we assume that there is a purely positive element, and we assume x_{1}^{'} is a purely positive element. As
\langle(a^{'}-2\varepsilon)_{+} \rangle \leq\sum_{i=1}^{n}\langle x_{i}^{'}\rangle,
for any \varepsilon>0, there exists \delta>0 such that \langle(a^{'}-4\varepsilon)_{+} \rangle\leq \langle (x_{1}^{'}-\delta)_{+}\rangle \oplus\sum_{i=1}^{n}\langle x_{i}^{'}\rangle. Since x_{1}^{'} is a purely positive element, by Theorem 2.1 (3), there exists a nonzero positive element s such that
\langle(x_{1}^{'}-\delta)_{+} \rangle +\langle s\rangle\leq\langle x_{1}^{'}\rangle.
As in the part (1.1.1.1), since A\in {\rm WTA}\Omega, by (1)', there exists a projection p_3\in A, an element g_{3}\in A with
0\leq g_{3} \leq1, and a \rm C^{*}-subalgebra D_3 of A with g_{3}\in D_3, 1_{D_{3}}=p_3, and D_3\in \Omega
there exist a positive element a^{5}\in D_3, such that
1-(p_3-g_{3})\preceq s,
\|(p_3-g_{3})^{\frac{1}{2}}a^{''}(p_3-g_{3})^{\frac{1}{2}}-a^{5}\|<\varepsilon/3, and
\|a^{''}-a^{5}-(1-(p_3-g_{3}))^{\frac{1}{2}}a^{''}(1-(p_3-g_{3}))^{\frac{1}{2}}\|<\varepsilon.
Also as in the part (1.1.1.1),
we have \langle (a^{5}-2\varepsilon)_{+}\rangle\leq \langle a\rangle.
Since D_3 is weakly (m, n)-divisible, (a^{5}-2\varepsilon)_{+}\in D_3, there exist
x_{1}^{5}, x_{2}^{5}, \cdots, x_{n}^{5}\in D_3, such that
\langle x_{j}^{5}\rangle +\langle x_{j}^{5}\rangle +\cdots+\langle x_{j}^{5}\rangle \leq\langle(a^{5}-2\varepsilon)_{+} \rangle,
and
\langle(a^{5}-3\varepsilon)_{+} \rangle\leq\sum_{i=1}^{n}\langle x_{i}^{5}\rangle, where \langle x_{j}^{5}\rangle repeats m times.
Therefore, we have
\langle x_{j}^{'}\oplus x_{j}^{5}\rangle +\langle x_{j}^{'}\oplus x_{j}^{5}\rangle +\cdots+\langle x_{j}^{'}\oplus x_{j}^{5}\rangle,
\leq\langle (a^{'}-2\varepsilon)_{+}\rangle+\langle (a^{5}-2\varepsilon)_{+}\rangle\leq
\langle a\rangle+\langle a\rangle,
where \langle x_{i}^{'}\oplus x_{i}^{5}\rangle repeats m times for 1\leq i\leq n.
We also have
\langle (a-10\varepsilon)_{+}\rangle
\leq\langle (a^{'}-4\varepsilon)_{+}\rangle+\langle (a^{5}-3\varepsilon)_{+}\rangle+\langle (1-(p_3-g_{3}))^{\frac{1}{2}}a^{''}(1-(p_3-g_{3}))^{\frac{1}{2}}\rangle
\leq\langle (a^{'}-4\varepsilon)_{+}\rangle+\langle (a^{5}-3\varepsilon)_{+}\rangle+\langle (1-(p_3-g_{3}))\rangle
\leq\langle (a^{'}-4\varepsilon)_{+}\rangle+\langle (a^{5}-3\varepsilon)_{+}\rangle+\langle s\rangle
\leq\sum_{i=1}^{n}\langle x_{i}^{'}\oplus x_{i}^{5}\rangle.
There are the desired inequalities, with \langle x_{i}^{'}\oplus x_{i}^{5}\rangle in place of \langle x_{i}\rangle, and 10\varepsilon in place of \varepsilon.
(1.1.2) we assume that exists nonzero projection r such that \langle (a^{'}-3\varepsilon)_{+}\rangle
+\langle r\rangle \leq\langle (a^{'}-3\varepsilon)_{+} \rangle.
As in the part (1.1.1.1), as A\in {\rm WTA}\Omega, there exist a projection p_4\in A, an element g_{4}\in A with
0\leq g_{4} \leq1, and a \rm C^{*}-subalgebra D_4 of A with g_{4}\in D_4, 1_{D_{4}}=p_4, and D_4\in \Omega, by (1)',
there exists a positive element a^{6}\in D_4, such that
1-(p_4-g_{4})\preceq r,
\|(p_4-g_{4})^{\frac{1}{2}}a^{''}(p_4-g_{4})^{\frac{1}{2}}-a^{6}\|<\varepsilon/3, and
\|a^{''}-a^{6}-(1-(p_4-g_{4}))^{\frac{1}{2}}a^{''}(1-(p_4-g_{4}))^{\frac{1}{2}}\|<\varepsilon.
Also as in the part (1.1.1.1),
we have \langle (a^{6}-2\varepsilon)_{+}\rangle\leq \langle a\rangle.
Since D_4 is weakly (m, n)-divisible, (a^{6}-2\varepsilon)_{+}\in D_4, there exist
x_{1}^{6}, x_{2}^{6}, \cdots, x_{n}^{6}\in D_4, such that
\langle x_{j}^{6}\rangle +\langle x_{j}^{6}\rangle +\cdots+\langle x_{j}^{6}\rangle \leq\langle(a^{6}-2\varepsilon)_{+} \rangle,
and
\langle(a^{6}-3\varepsilon)_{+} \rangle\leq\sum_{i=1}^{n}\langle x_{i}^{6}\rangle, where \langle x_{j}^{6}\rangle repeats m times.
Therefore, we have
\langle y_{i}^{'}\oplus x_{i}^{6}\rangle +\langle y_{i}^{'}\oplus x_{i}^{6}\rangle +\cdots+\langle y_{i}^{'}\oplus x_{i}^{6}\rangle
\leq\langle (a^{'}-\varepsilon)_{+}\rangle+\langle (a^{6}-2\varepsilon)_{+}\rangle\leq
\langle a\rangle+\langle a\rangle,
where \langle y_{i}^{'}\oplus x_{i}^{6}\rangle repeats m times for 1\leq i\leq n.
We also have
\langle (a-10\varepsilon)_{+}\rangle
\leq\langle (a^{'}-3\varepsilon)_{+}\rangle+\langle (a^{6}-4\varepsilon)_{+}\rangle+\langle (1-(p_4-g_{4}))^{\frac{1}{2}}a^{''}(1-(p_4-g_{4}))^{\frac{1}{2}}\rangle
\leq\langle (a^{'}-3\varepsilon)_{+}\rangle+\langle (a^{6}-4\varepsilon)_{+}\rangle+\langle (1-(p_4-g_{4}))\rangle
\leq\langle (a^{'}-3\varepsilon)_{+}\rangle+\langle (a^{6}-4\varepsilon)_{+}\rangle+\langle r\rangle
\leq\sum_{i=1}^{n}\langle y_{i}^{'}\oplus x_{i}^{6}\rangle.
There are the desired inequalities, with\langle y_{i}^{'}\oplus x_{i}^{6}\rangle in place of \langle x_{i}\rangle, and 10\varepsilon in place of \varepsilon.
(1.2) If (a^{'}-3\varepsilon)_{+} is not Cuntz equivalent to a projection, by Theorem 2.1 (3), then there is a nonzero positive
element d such that \langle (a^{'}-4\varepsilon)_{+}\rangle+\langle d\rangle \leq\langle (a^{'}-3\varepsilon)_{+}\rangle.
As in the part (1.1.1.1), since A\in {\rm WTA}\Omega, there exist a projection p_5\in A, an element g_{5}\in A with
0\leq g_{5} \leq1, and a \rm C^{*}-subalgebra D_5 of A with g_{5}\in D_5, 1_{D_{5}}=p_5, and D_5\in \Omega, by (1)',
there exists a positive element a^{7}\in D_5, such that
1-(p_5-g_{5})\preceq d,
\|(p_5-g_{5})^{\frac{1}{2}}a^{''}(p_5-g_{5})^{\frac{1}{2}}-a^{7}\|<\varepsilon/3, and
\|a^{''}-a^{7}-(1-(p_5-g_{5}))^{\frac{1}{2}}a^{''}(1-(p_5-g_{5}))^{\frac{1}{2}}\|<\varepsilon.
Also as in the part (1.1.1.1),
we have \langle (a^{7}-2\varepsilon)_{+}\rangle\leq \langle a\rangle.
Since D_5 is weakly (m, n)-divisible, (a^{7}-2\varepsilon)_{+}\in D_5, there exist
x_{1}^{7}, x_{2}^{7}, \cdots, x_{n}^{7}\in D_5, such that
\langle x_{j}^{7}\rangle +\langle x_{j}^{7}\rangle +\cdots+\langle x_{j}^{7}\rangle \leq\langle(a^{7}-2\varepsilon)_{+}\rangle,
and
\langle(a^{7}-3\varepsilon)_{+} \rangle\leq\sum_{i=1}^{n}\langle x_{i}^{7}\rangle, where \langle x_{j}^{7}\rangle repeats m times.
Therefore, we have
\langle x_{j}^{'}\oplus x_{j}^{7}\rangle +\langle x_{j}^{'}\oplus x_{j}^{7}\rangle +\cdots+\langle x_{j}^{'}\oplus x_{j}^{7}\rangle
\leq\langle (a^{'}-2\varepsilon)_{+}\rangle+\langle (a^{7}-2\varepsilon)_{+}\rangle\leq
\langle a\rangle+\langle a\rangle,
where \langle x_{j}^{'}\oplus x_{j}^{7}\rangle repeats m times for 1\leq i\leq n.
We also have
\langle (a-10\varepsilon)_{+}\rangle
\leq\langle (a^{'}-4\varepsilon)_{+}\rangle+\langle (a^{7}-4\varepsilon)_{+}\rangle+\langle (1-(p_5-g_{5}))^{\frac{1}{2}}a^{''}(1-(p_5-g_{5}))^{\frac{1}{2}}\rangle
\leq\langle (a^{'}-4\varepsilon)_{+}\rangle+\langle (a^{7}-4\varepsilon)_{+}\rangle+\langle (1-(p_5-g_{5}))\rangle
\leq\langle (a^{'}-4\varepsilon)_{+}\rangle+\langle (a^{7}-4\varepsilon)_{+}\rangle+\langle d\rangle
\leq\sum_{i=1}^{n}\langle x_{i}^{'}\oplus x_{i}^{7}\rangle.
There are the desired inequalities, with \langle x_{i}^{'}\oplus x_{i}^{7}\rangle in place of \langle x_{i}\rangle, and 10\varepsilon in place of \varepsilon.
Case(2) If (a^{'}-2\varepsilon)_{+} is not Cuntz equivalent to a projection, by Theorem 2.1 (3), there is a nonzero positive
element d such that \langle (a^{'}-3\varepsilon)_{+}\rangle+\langle d\rangle \leq\langle (a^{'}-2\varepsilon)_{+}\rangle.
As in the part (1.1.1.1), since A\in {\rm WTA}\Omega, there exist a projection p_6\in A, an element g_{6}\in A with
0\leq g_{6} \leq1, and a \rm C^{*}-subalgebra D_6 of A with g_{6}\in D_6, 1_{D_{6}}=p_6, and D_6\in \Omega, by (1)',
there exists a positive element a^{8}\in D_6, such that
1-(p_6-g_{6})\preceq d,
\|(p_6-g_{6})^{\frac{1}{2}}a^{''}(p_6-g_{6})^{\frac{1}{2}}-a^{8}\|<\varepsilon/3, and
\|a^{''}-a^{8}-(1-(p_6-g_{6}))^{\frac{1}{2}}a^{''}(1-(p_6-g_{6}))^{\frac{1}{2}}\|<\varepsilon.
Also as in the part (1.1.1.1),
we have \langle (a^{8}-2\varepsilon)_{+}\rangle\leq \langle a\rangle.
Since D_6 is weakly (m, n)-divisible, (a^{8}-2\varepsilon)_{+}\in D_6, there exist
x_{1}^{8}, x_{2}^{8}, \cdots, x_{n}^{8}\in D_6, such that
\langle x_{j}^{8}\rangle +\langle x_{j}^{8}\rangle +\cdots+\langle x_{j}^{8}\rangle \leq\langle(a^{8}-2\varepsilon)_{+} \rangle,
and
\langle(a^{8}-3\varepsilon)_{+} \rangle\leq\sum_{i=1}^{n}\langle x_{i}^{8}\rangle, where \langle x_{j}^{8}\rangle repeats m times.
Therefore, we have
\langle y_{i}^{'}\oplus x_{i}^{8}\rangle +\langle y_{i}^{'}\oplus x_{i}^{8}\rangle +\cdots+\langle y_{i}^{'}\oplus x_{i}^{8}\rangle
\leq\langle (a^{'}-\varepsilon)_{+}\rangle+\langle (a^{8}-2\varepsilon)_{+}\rangle\leq
\langle a\rangle+\langle a\rangle,
where \langle y_{i}^{'}\oplus x_{i}^{8}\rangle repeats m times for 1\leq i\leq n.
We also have
\langle (a-10\varepsilon)_{+}\rangle
\leq\langle (a^{'}-3\varepsilon)_{+}\rangle+\langle (a^{8}-4\varepsilon)_{+}\rangle+\langle (1-(p_6-g_{6}))^{\frac{1}{2}}a^{''}(1-(p_6-g_{6}))^{\frac{1}{2}}\rangle
\leq\langle (a^{'}-3\varepsilon)_{+}\rangle+\langle (a^{8}-4\varepsilon)_{+}\rangle+\langle (1-(p_6-g_{6}))\rangle
\leq\langle (a^{'}-3\varepsilon)_{+}\rangle+\langle (a^{8}-4\varepsilon)_{+}\rangle+\langle d\rangle
\leq\sum_{i=1}^{n}\langle y_{i}^{'}\oplus x_{i}^{8}\rangle.
There are the desired inequalities, with \langle y_{i}^{'}\oplus x_{i}^{8}\rangle in place of \langle x_{i}\rangle, and 10\varepsilon in place of \varepsilon.