Квадратичний лишок

Квадратичний лишок по модулю ${\displaystyle m}$ — ціле число ${\displaystyle \ a}$, для якого має розв'язок таке порівняння

${\displaystyle \ x^{2}\equiv a{\pmod {m}}.}$

Якщо вказане порівняння не має розв'язку, то число ${\displaystyle a}$ називається квадратичним нелишком по модулю ${\displaystyle m}$.