All groups are isomorphic to a subgroup of the symmetric group (source code)

= All groups are isomorphic to a subgroup of the symmetric group

Or in other words: <symmetric groups> are boring, because they are basically everything already!