元熙二年。恭帝让贤于裕，是日，帝梦鹏徙北冥而化为鲲。德文异之，夜走北冥。司马惧宋君，亦随德文之高丽。
高丽者，北海之滨也；釜山者，高丽之最高峰也。
元嘉十三年，北魏攻北燕。北燕亡，欲投高丽。司马氏闻而连却之。燕君哀，继而向北，改元为辽，以求复国，并攻高丽。
司马时食韩禄而谋韩祚已十年，羽翼丰而权位重。两岁之后，恭帝德文卒，其子司马兰畔。以帝子之身立釜山之巅，以无敌之姿夺北冥城郭。其势快，未期一年而称尊；其德厚，所行之处万民臣服。所以晋冯北境而东山再起。史称北晋。