theorem Th14: :: TREES_1:15

ProperPrefixes {} = {}