Dicyclic Group is Non-Abelian Group/Corollary

Theorem
The quaternion group $Q_4$ is a non-abelian group.

Proof
The quaternion group $Q_4$ is an example of the dicyclic group with $4$ elements.

The result follows from Dicyclic Group is Non-Abelian Group.