for B being antichain holds B is B -headed