Real Star-Algebra is Commutative

Theorem
Let $A = \left( A_F, \oplus \right)$ 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.