P

Initializing...

Lemma 1: the conjugates $\beta^k \alpha \beta^{-k}$ span a finitely generated subgroup · Prove2Me