the TypeSSNominativeData of V,A in NDSS (V,A) ;
hence not NDSS (V,A) is empty ; :: thesis: verum