P
Initializing...
Rosenblatt's theorem: a finitely generated solvable group is almost nilpotent or contains a free subsemigroup on two generators · Prove2Me