Locally nilpotent and Artinian implies hypercentral

Statement
A group that is both a uses property satisfaction of::locally nilpotent group and an  Artinian group must be a  proves property satisfaction of::hypercentral group.

Related facts

 * Locally finite Artinian p-group implies hypercentral