Added lemmas for groups