theorem Th35: :: TREES_1:36

for w being FinSequence holds {w} is AntiChain_of_Prefixes-like