Then, by definition, f o (z) > f c (z) for some o ∈ C \ c. We can substitute z with its definition: And therefore due to the linearity of f o and f c : But this cannot be, as by definition, f o (x) < f c (x) and f o (y) < f c (y).
there is only one region for c and that region is convex.