theorem :: TREES_1:39

for T being Tree
for t being Element of T holds {t} is AntiChain_of_Prefixes of T