Introductio ad historiam, sive De quatuor imperiis liber