相伴数

设 为一个奇素数， 为一个正数使得 (即， 不整除 )，且设 为数字 1, 2, 3, ..., 之一。则存在唯一的 ，称为 的相伴数，使得

且满足 (Hardy and Wright 1979, 第 67 页)。如果 ，则 被称为 的二次剩余。