天姓什么

石动甬问博士：“先生，天姓什么?”  

博士说：“天姓高。”  

动甬说：“天子姓高，天就姓高。这是学蜀国臣子泰宓的方法，没有新义。经书上着有天姓，先生可引用经文，不用假托蜀臣回答之法。”  

博士说：“不知道在哪本经书上写有天姓啊?”  

动甬说：“先生读书太少了，《孝经》也像没有看过一样。天本姓也。  

先生难道没有见《孝经》里写道：‘父子之道，天性也。’这难道不是天姓吗?”