Hahn-Banach Separation Theorem/Complex Case/Open Convex Set and Convex Set