若n为合数,n|x^2-1,则gcd(x+1,n)|ngcd(x-1,n)|n且gcd(x+1,n)>1与gcd(x-1,n)>1
意思是说:若n为合数,且n整除(x^2-1),则gcd(x+1,n)与gcd(x-1,n)都是n的约数且约数大于1.
意思是说:若n为合数,且n整除(x^2-1),x^2≡1(modn),|x|存在大于1的解,则gcd(x+1,n)与gcd(x-1,n)都是n的约数且约数大于1.