theorem TTT1: :: SRINGS_3:3

for x being object holds <*x*> is disjoint_valued FinSequence