En realidad el teorema anterior puede generalizarse para grupos no necesariamente finitos: