P
Initializing...
Thomson $N=7$, the cap: minimal pair with $t_{01}\le-0.99$ gives $E\ge E(P)$ · Prove2Me