theorem Th15: :: TREES_1:16

for x being set holds ProperPrefixes <*x*> = {{}}