P

Initializing...

Norms of small values give small integer polynomials, with algebraic exponentials (Waldschmidt 1973, Lemma 7) · Prove2Me