Proof. Let $V \in \fB$, $\pi_{V}: E \to \wh E_{V}$ be the canonical projection, and $A \subset E$ be precompact, then $\pi_{V}(A)$ is precompact as well. Since $\wh E_{V}$ has the approximation property, there exists $T \in E_{V}^{*} \otimes \wh E_{V}$ such that $Tx - x \in \pi_{V}(V)$ for all $x \in \pi_{V}(A)$. As $E_{V}$ is dense in $\wh E_{V}$, there exists $S \in E_{V}^{*} \otimes E_{V}$ such that $Sx - Tx \in \pi_{V}(V)$ for all $x \in \pi_{V}(A)$. In which case, $Sx - x \in 2\pi_{V}(V)$ for all $x \in \pi_{V}(A)$, and $S \circ \pi_{V}(x) - \pi_{V}(x) \in 2\pi_{V}(V)$.

Write $S = \sum_{j = 1}^{n} \phi_{j} \otimes y_{j}$. For each $1 \le j \le n$, choose any representative $x_{j} \in \pi_{V}^{-1}(y_{j})$, then for any $x \in A$,

Finally, since $\ker(\pi_{V}) = \bigcap_{\lambda > 0}\lambda V \subset V$, $x - \sum_{j = 1}^{n} x_{j}\dpn{x, \phi_j \circ \pi_V}{E}\in -3V = 3V$. Therefore if $R = \sum_{j = 1}^{n} (\phi_{j} \circ \pi_{V}) \otimes x_{j} \in E^{*} \otimes E$, then $Rx - x \in 3V$.$\square$