素数冪に対する巡回定理