P
Initializing...
Theorem: a solvable group which is not polycyclic has exponential growth · Prove2Me