Category:Minkowski Functional of Open Convex Set is Sublinear Functional