feat(library/algebra/group): add theorems for calculation