En la teoría de grupos, el teorema se puede formular así: