benämd Theodosius , en gudfruktig kejsare.