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