Template:Proof generalizes

From Groupprops

This proof method generalizes to the following results: {{{1}}}