Theorem 2.14 is the Riesz Representation Theorem(about functionals on $C_c(X)$):
Theorem 2.14. Let $X$ be a locally compact Hausdorff space, and let $\Lambda$ be a linear functional on $C_c(X)$. Then there exists a $\sigma$-algebra $\mathfrak M$ in $X$ which contains all Borel sets in $X$, and there exists a unique positive mesaure $\mu$ on $\mathfrak M$ which represents $\Lambda$ in the sense that
(a) $\Lambda f = \int_X fd\mu$ for every $f \in C_c(X)$,
and which has the following additional properties:
(b) $\mu(K)<\infty$ for every compact set $K\subset X$.
(......the left omitted)
And a few lines later the author writes:
$$ \mu_1(K) = \int_X\chi_K\,d\mu_1 \le \int_X f\,d\mu_1 = \Lambda f = \int_X f\,d\mu_2 \le \int_X \chi_V\,d\mu_2 = \mu_2(V) < \mu_2(K) + \epsilon. $$ Incidentally, the above computation shows that (a) forces (b).
"(a) forces (b)" is the problem. How this is possible? The author has just used (b) to show the above inequality, and says that (a) implies (b) by the above computation. I need explanation about this.