对任意奇素数p，存在和p互素的正整数a，使得a^1，a^2，……a^(p-2)模p都不余1
--
修改:gtgtjing FROM 124.64.18.*
FROM 124.64.18.*