theorem Th45: :: NOMIN_1:45

for a, v being object
for V, A being set st v in V & a in A holds
ND_ex_1 (v,a) in NDSS (V,A)