consider M being non empty Affine Subset of ;
M is convex by Th69;
hence ex b₁ being Subset of st
( not b₁ is empty & b₁ is convex ) ; :: thesis: verum