渣渣菜鳥一枚，大神有空順便給個建議。。。。關于米勒拉賓素性檢驗證明里的一句話引出的疑問------①、如果p是素數，x是小于p的正整數，且x^2 = 1 mod p，則x要么為1，要么為p-1。我發現即使p不是素數，好像也能這么說啊，比如p=9，那么取 x(0<x<9) ,令x**2=1(mod 9), x只能為1或者8，所以這句話和p是不是質數沒有必然關系，不是質數也可以這么講啊。。。②、還有結論， 如果對于任意一個小于p的正整數x，發現1（模p）的非平凡平方根存在，則說明p是合數。但是后面又有補充。。。。③、若p是一個大于2的素數，那么如果一個數與1或者-1模n同余（即 x = 1 (mod p) 或者 x = -1 (mod p)），那么它就叫做1模n的一個非平凡的平方根。而事實上，沒有1模p的非平凡的平方根存在。 ? （注：平凡根指1或-1(mod p) ， 否則為非平凡根。）結束-----這是在逗我嗎。。。（主要因為是菜鳥.....問題：針對以上①②③，望大神解答一下，不勝感激！！