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