Хочу тестировать простые числа (BigInteger) для ключей этим тестом.
Согласно формуле, надо возводить в степень, которая этот самый BigInteger.
Формула: ((S * S) — 2) mod ((2 в степени P) — 1)
S и P — BigInteger

Есть мысли как модифицировать алгоритм, чтобы избежать возведения в BigInteger?