郭历精术数，知晋必亡秦。

杨维桢，元朝诗人。