Derived Subgroup is Normal

Theorem
Let $\struct {G, \circ}$ be a group whose identity is $e$.

Let $\sqbrk {G, G}$ denote the derived subgroup of $\struct {G, \circ}$.

Then $\sqbrk {G, G}$ is a normal subgroup of $\struct {G, \circ}$.