P
Initializing...
Lemma 4, proof — noninterior cone point has a separating normal · Prove2Me