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