take [#] V ; :: thesis: ( not [#] V is empty & [#] V is Affine )
thus ( not [#] V is empty & [#] V is Affine ) ; :: thesis: verum