theorem :: ENS_1:33

for V being non empty set
for a being Object of (Ens V) st ex x being set st a = {x} holds
a is terminal