Мы это утверждение доказали в дзене, а также алгоритмы построения таких простых чисел. С уважением, Б. С. Кочкарев