Solution (source code)

= Solution

An element of a C\*-algebra is a <Normal element of a C-star algebra> if
$$
\boxed{a^*a=aa^*.}
$$