『資治通鑑』189 武徳4年7月乙丑条

乙丑、高句麗王建武遣使入貢。建武、元之弟也。