‏‏对于给定的正整数n，判定n是一个素数的充要条件是(n)!º(modn)