For each model $\mathcal{X}$, let $\ev_{\mathcal{X}}:X\to\Div_{0}(\mathcal{X})^{*}_{\mathbf{R}}$ be the evaluation map defined by $\langle\ev_{\mathcal{X}}(x),D\rangle=\varphi_{D}(x)$. Then the induced map

$$\ev:X\to\varprojlim_{\mathcal{X}\in\mathcal{M}_{X}}\Div_{0}(\mathcal{X})_{\mathbf{R}}^{*}\simeq\mathcal{D}(X)_{\mathbf{R}}^{*}$$

is a homeomorphism onto its image.