Четыре простых⁠⁠

Сейчас пришла мысль, что существует бесконечное количество последовательностей, состоящих из четырёх простых чисел, отличающихся на 6.

Например 251, 257, 263, 269.

Интересно, это утверждение уже доказано или опровергнуто ?