概念導讀模7的Fermat證書與合數邊界(−2)^6≡1 mod7；倍數7只可用a^7≡a版本；通過測試不證質數。Fermat小定理derivation-mko-fermat-little-theorem-01