天姓什么

石动甬问博士：先生，天姓什么? 博士说：天姓高。
动甬说：天子姓高，天就姓高。
这是学蜀国臣子泰宓的方法，没有新义。
经书上着有天姓，先生可引用经文，不用假托蜀臣回答之法。
博士说：不知道在哪本经书上写有天姓啊? 动甬说：先生读书太少了，《孝经》也像没有看过一样。
天本姓也。
先生难道没有见《孝经》里写道：父子之道，天性也。
’这难道不是天姓吗?