Abelian implies every subgroup is normal

Verbal statement
Every subgroup of an Abelian group is a normal subgroup.

Property-theoretic statement
The group property of being an Abelian group is stronger than the group property of being a Dedekind group (a group where every subgroup is normal).