Критерий составного числа

Есть ли статья или сразу решение где можно прочитать про доказательство

Докажите, что натуральное n >1 является составным тогда и только тогда, когда можно найти n различных в совокупности чиселd b_1, b_2, \ldots b_n, что \forall k \in \mathbb N число
(b_1 + k)(b_2 + k) \dots (b_n + k) является степенью натурального числа
(показатель степени может зависеть от k, но должен быть всегда больше 1)

3 симпатии