以下の命題を証明してください。

F を閉凸集合、 z を F に含まれない点とする。このとき、次を満たすベクトル a およびスカラー Θ が存在する：

∀x ∈ F、 a^T * z < Θ < a^T * x.