theorem Th7: :: JORDAN23:7

for f being FinSequence st len f <> 2 holds
( f is weakly-one-to-one iff f is poorly-one-to-one ) by Def3;