The auxiliary function's derivatives as values of reduced integer polynomials in the unknowns, when only e^{x₁y₂} and e^{x₂y₂} are algebraic

Initializing...

The auxiliary function's derivatives as values of reduced integer polynomials in the unknowns, when only e^{x₁y₂} and e^{x₂y₂} are algebraic · Prove2Me