『旧唐書』3　本紀3　太宗下

（貞観十九年）六月丙辰、師至安市城。丁巳、高麗別將高延壽・高惠眞帥兵十五萬來援安市、以拒王師。李勣率兵奮擊、上自高峯引軍臨之、高麗大潰、殺獲不可勝紀。延壽等以其衆降、因名所幸山爲駐蹕山、刻石紀功焉。賜天下大酺二日。