P
Initializing...
Any two double cones of apex above π/4 share a subcone · Prove2Me