Entonces  es un grupo.