Page "C*-algebra" Paragraph 32

This condition automatically implies that the *- involution is isometric, that is,.

Hence, and therefore, a-algebra is also a-algebra.

Conversely, the-condition implies the-condition.

This is nontrivial, and can be proved without using the condition.