Quaternion Multplication is not Commutative

Theorem
The operation of multplication on the quaternions $H$ is not commutative.

Proof
By definition of multplication: