П'ятниця після обіду, час вказати Клода + Арістотеля @HarmonicMath на випадкову задачу Ердоса і спробувати довести її + формалізувати