Fermat小定理p為質數時a^p同餘a；若p不整除a則可化為a^(p-1)同餘1，逆命題不成立。atlas-fermat-little-theorem · canonical_mkoFermat小定理前置節點自然數質數自然數模同餘自然數冪與主平方根