By the same kind of argument, Sn is a subgroup of Sn + 1.
Με το ίδιο επιχείρημα, η Sn είναι μια υποομάδα της Sn+1.