Todo grupo es isomorfo a un cociente de un grupo libre.