omega c= card (U *) by CARD_4:14;
hence for b₁ being set st b₁ = U * holds
not b₁ is finite ; :: thesis: verum