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