theorem Th5: :: TAXONOM2:6

{} is hierarchic ;