theorem Th39: :: FINSEQ_1:39

for p being FinSequence
for x being object holds
( p = <*x*> iff ( len p = 1 & rng p = {x} ) )