Real Star-Algebra is Commutative

Theorem
Let $A = \struct {A_F, \oplus}$ be a real $*$-algebra whose conjugation is denoted as $*$.

Then:


 * $\forall a, b \in A, a \oplus b = b \oplus a$

That is, real $*$-algebra is commutative.