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