The auxiliary function's derivatives as values of reduced integer polynomials in the unknowns

Initializing...

The auxiliary function's derivatives as values of reduced integer polynomials in the unknowns · Prove2Me