{} V is convex by Th10;
hence ex b₁ being Subset of V st
( b₁ is empty & b₁ is convex ) ; :: thesis: verum