An exponent passes through a commutator with a lower central series member, modulo two steps further down

Initializing...

An exponent passes through a commutator with a lower central series member, modulo two steps further down · Prove2Me