theorem :: FINSEQ_2:136

for A being set
for a being object st <*a*> in 1 -tuples_on A holds
a in A