theorem :: ENS_1:23

for V being non empty set
for a being Object of (Ens V) holds a is Element of V ;