set M = the non empty Affine Subset of V;
the non empty Affine Subset of V is convex by Th16;
hence ex b₁ being Subset of V st
( not b₁ is empty & b₁ is convex ) ; :: thesis: verum