theorem Th34: :: FLEXARY1:34

( {} is DoubleReorganization of {} & <*{}*> is DoubleReorganization of {} )