歷史上真有​程咬金​這號人物嗎？

歷史上真有程咬金這號人物嗎？

歷史上記述程咬金出身東平程氏，濟州東阿人。曾祖父程興，北齊兗州司馬。祖父程哲，北齊晉州司馬。父親程婁，濟州大中正，後追贈使持節瀛州諸軍事、瀛州刺史。程咬金是唐初猛將，少驍勇，善於騎馬用槊擊刺。隋煬帝大業六年610年)起，盜賊蜂起，程咬金組織瞭一支數百人的武裝，護衛鄉裡。後投奔瓦崗李密，得到重用，為內軍驃騎之一。李密在軍中挑選出勇烈之士八千人，隸屬四驃騎，分為左右，號稱內軍。李密曾自豪道：“此八千人可當百萬。”程咬金領導其中一軍，受到李密厚待。

618年唐高祖武德元年)，王世充與李密決戰。王世充軍攻擊單雄信部，李密派遣程咬金及裴行儼增援。戰鬥中，裴行儼中流矢墜馬，程咬金連斬數人，抱起裴行儼向後撤退。追兵用槊刺穿他的身體，程咬金將槊折斷，殺瞭追兵才逃脫。李密戰敗，王世充俘獲程咬金，任命他為將軍，待之甚厚。6