亡羊补牢是历史故事吗 亡羊补牢是故事还是寓言