theorem Th102: :: FINSEQ_2:104

for D being non empty set
for d1, d2, d3 being Element of D holds <*d1,d2,d3*> in 3 -tuples_on D