pg(k) числа определены так:
pg(k)=(2^k-1)*10^d+2^(k-1)-1, где d - число десятичных цифр 2^(k-1)-1.
Числа формируются базой конкатенации 10из двух последовательных чисел Мерсенна, примеры 157, 40952047.
Я предположил, что простое число этой формы не совпадает с 6 по модулю 7. Есть ли у кого-нибудь эффективная подпрограмма для проверки Sage для этой гипотезы?