P
Initializing...
Lemma 3: if $B/A$ is polycyclic and $B$ is not of exponential growth, then $B$ is polycyclic · Prove2Me