theorem Th96: :: FINSEQ_2:98

for D being non empty set
for d being Element of D holds <*d*> in 1 -tuples_on D