Extending Ulm’s theorem without group theory