Есть ли в теореме и её доказательстве ошибки, сложность в том, что теорема на английском языке и смотрите картинку?

Answer 1

Утверждение, что для простого х существует наименьший y такой, что 2^y-y^3=x.
А доказательства нет, проверять нечего.
Доказательство мне незнакомо, но если существует хоть один такой, то среди решений есть наименьший - это одна из аксиом: в любом конечном наборе целых чисел есть наибольше и наименьше.
Вобще для доказательства и достаточно указать хоть один набор x y, который хоть подбором вычислить можно.