theorem Th44: :: POLNOT_1:44

for P being FinSequence-membered set st ( for p, q being FinSequence st p in P & q in P holds
dom p = dom q ) holds
P is antichain-like