Todo grupo generado por "S" es isomorfo a un grupo cociente de aquél.