:Category:Theorems involving convexity