Positive linear functional on a C*-algebra is bounded

Question

The following is a theorem of Murphy's C*-algebras and operator theory:

My question: I think in the proof of theorem, Murphy uses the assumption $|\tau(a)|<M$ for positive elements $a\in A_{\|.\|\leq1}$, while there is not this assumption in theorem. How does he conclude that? Please help me. Thanks.