theorem Th46: :: SUBSET_1:46

for X being non empty trivial set ex x being Element of X st X = {x}