Hahn-Banach Separation Theorem/Real Case/Open Convex Set and Convex Set/Lemma