日知录程氏出程伯休父太史公自序云重黎氏世 序天地其在周程伯休甫其后也应劭曰封为程国 伯休甫字也其后为司马氏而左传成十八年晋栾 书中行偃使程滑弒厉公注程滑晋大夫襄二十三 年程郑嬖于公注郑亦荀氏宗此则晋之程氏乃荀 氏之别不与休甫同出今既祖休甫又祖程婴则误 矣路史以荀为文王之后子华子之书亦言其族出 于司马而又曰赵则真吾姓之所宗氏也则程又与 赵同祖朱子曰子华子近世伪书今或引其说以证 姓氏之所从出则诬其祖矣又按庄子及吕氏春秋 子华子韩昭厘侯时人非孔子所见之程子