設(shè)? 為素?cái)?shù),??, 證明:??.
證明:?取正整數(shù)? . 令??.
由??任意性, 需證明??.? 由于 ?為素?cái)?shù), 故存在整數(shù)??使得??.???作用于整環(huán)??得到一個(gè)置換.
故