theorem Th34: :: FLEXARY1:34
( {} is DoubleReorganization of {} & <*{}*> is DoubleReorganization of {} )