# Every polycyclic group has a normal poly-infinite cyclic subgroup of finite index

There is a theorem that states: "Every polycyclic group has a normal poly-infinite cyclic subgroup of finite index. "

I just read the proof of it and honestly found some difficulties in it. The main part of the proof is as follows:

-