theorem Th35: :: FLEXARY1:35

for D being finite set
for F being one-to-one onto FinSequence of D holds <*F*> is DoubleReorganization of D