Евтропий. Краткая история от основания Города. IX, 22.