P
Initializing...
The constants $\operatorname{Con}(F)$ form a subfield · Prove2Me