theorem Th14: :: TREES_1:15
ProperPrefixes {} = {}