wrest, согласен! Вася имеет (в хор. см.) кота, а Серж не имеет кота. Даже, если кот мёртвый. Но Вася имеет компьютер, а Серж не имеет компьютера.
Но там речь о существовании вектора любой длины из последовательных составных чисел. То есть речь идёт о составных числах, которые-таки имеют собственного делителя. И поделом ему

Не подумайте, что я выискиваю какие-то особенности. Просто внимательно читаю и обдумываю.
А вот отвлекусь на минутку и сооружу понятно какую последовательность.
Код:
{\\Первое появление к составных чисел подряд
d=vector(1000);
d[1]=4;
p=5;
forprime(pn=7,1000,
dp=pn-p-1;
if(d[dp],,d[dp-1]=p+1;d[dp]=p+1);
p=pn;
);
print(d[1..13]);
}
[4, 8, 8, 24, 24, 90, 90, 140, 140, 200, 200, 114, 114]
Всё-таки

Факториал используется в доказательстве.
Конечно, можно заметить, что чётных провалов между простыми и не бывает, ну кроме нуля между 2 и 3.
+++
Yadryara, я рад, что вы заглянули. У вас я научился слову гэп и даже хотел пересчитать всё на первое появление гэпа длины к.

В моём учебнике пока не нашёл про Платта. Но есть же поговорка, что простых больше, чем звёзд на небе! Как же можно их количество посчитать? Разве что число простых хоккейных голов
