P
Initializing...
A convex cone is closed under addition · Prove2Me