Non-Abelian Group has Order Greater than 4

Theorem
Let $\struct {G, \circ}$ be a non-abelian group.

Then the order of $\struct {G, \circ}$ is greater than $4$.