∪(n∈N)S^n が群だと証明せねば