Simplifies proof by removing unnecessary group generator symbols.