Prime Group is Simple
Theorem
Groups of prime order are simple.
Proof
Follows directly from Prime Group has no Proper Subgroups: a group of prime order has only itself and the trivial group as subgroups.
From Trivial Subgroup and Group Itself are Normal, these subgroups are normal.
$\blacksquare$