X c= X ;
hence ex b₁ being Subset of X st b₁ is infinite ; :: thesis: verum