P
Initializing...
Existence of the auxiliary exponential polynomial (Siegel step) · Prove2Me