Non-zero derivatives of the auxiliary function on the 14-fold grid give integer polynomials small at ω, when only e^{x₁y₂} and e^{x₂y₂} are algebraic

Initializing...

Non-zero derivatives of the auxiliary function on the 14-fold grid give integer polynomials small at ω, when only e^{x₁y₂} and e^{x₂y₂} are algebraic · Prove2Me