席格蒙迪定理

席格蒙德定理是數論中一個相當強大的定理，它有兩個形式，形式一其實是形式二的特例，但證明更為簡便，適用範圍也更廣，所以這裏把兩個形式分別拎出來記錄證明。

形式一的證明需要用到之前割圓多項式。

形式二證明過程中也用到一些割圓多項式的結論和莫比烏斯反演公式。