帝王之功,圣人之余事也。