天姓什么

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