都会与n 互质，亦即其公因数只有1。实际上，对n=7，方程会有唯一的解。因此，对任何质数p，Z/"p"Z（亦标记为F）也会是个体，或更具体地说，是个有限体，因为该集合包含有限多（即p）个元素。许多定理可以透过从此一抽象的方式检查F而导出。例如，费马小定理表示，其中a为任一不被p整除的整数。该定理即可使用这些概念证得。这意味着吾乡-朱加猜想表示，上述公式亦是p为质数的必要条件。另一个费马小定理的推论如下：若p为2与5之外的其他质数，/总是个循环小数，其週期为或的因数。分数/依q（10以外的整数）为基