时有女娲之后容成氏善知音律,始造律历,元起丁亥①。又推冬至日至之星②。又问天老,得天元日月星辰之书,以纪时。有臣隶首善算法,始作数著算术焉。臣伶伦作权量。黄帝又得蚩尤,始明乎天文。
①元起丁亥:据《混元实录年谱》。
②日至之星:南斗后星。