theorem :: FINSEQ_1:74

for D being non empty set
for x being Element of D holds <*x*> is FinSequence of D ;