take {} V ; :: thesis: ( {} V is empty & {} V is Affine )
thus ( {} V is empty & {} V is Affine ) ; :: thesis: verum