theorem Th63: :: CARD_1:65

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