Equivalencia de FG-módulo y G-módulo.