Theorem - The smallest non-abelian group has order 6.

theoremgroup-theory

Formal Statement

For any group $(G,\cdot )$ where $|G|<6$, $(G,\cdot )$ is commutative.