相伴數

設 為一個奇素數， 為一個正數使得 (即， 不整除 )，且設 為數字 1, 2, 3, ..., 之一。則存在唯一的 ，稱為 的相伴數，使得

且滿足 (Hardy and Wright 1979, 第 67 頁)。如果 ，則 被稱為 的二次剩餘。