theorem Th50: :: POLNOT_1:50

for B being antichain holds B is B -headed