P
Initializing...
The centered polar of C(n,d) is nonempty, bounded, with diameter at most n-d · Prove2Me