席格蒙德定理是数论中一个相当强大的定理，它有两个形式，形式一其实是形式二的特例，但证明更为简便，适用范围也更广，所以这里把两个形式分别拎出来记录证明。

形式一的证明需要用到之前割圆多项式。

形式二证明过程中也用到一些割圆多项式的结论和莫比乌斯反演公式。