A subgroup of finite index has a generating set on which its elements are words no longer than in the whole group

Initializing...

A subgroup of finite index has a generating set on which its elements are words no longer than in the whole group · Prove2Me