On the residual property of polycyclic groups

We generalize the result of A. L. Shmelkin which establishes the fact that polycyclic groups are virtually residually $p$-finite for any prime $p$.