theorem Th91: :: FINSEQ_3:93

for x being object holds <*x*> is one-to-one