P

Initializing...

Existence of the saddle point $\tau_0$ for $r=3$, $q=13$ with the analytic hypotheses of Lemma 2 · Prove2Me