theorem Th5: :: TAXONOM2:6
{} is hierarchic ;