X c= X ;
hence not for b₁ being Subset of X holds b₁ is finite ; :: thesis: verum