Формула выглядит как x02 ≡ -d (mod m)
m - не обязательно простое число, требуется, чтобы d и m были взаимно простыми, то есть не имели общих делителей. Например, 4 и 9 - взаимно простые числа.
Для компьютерного алгоритма эту формулу (с учётом условия 1 ≤ d < m) можно представить как x02 % m = (m - d) % m