Sea "f:G --> H" un homomorfismo de grupos y sea "G" un grupo finito.