set A = the non empty Subset of S;
the non empty Subset of S is Subset of S ;
hence not for b₁ being Subset of S holds b₁ is empty ; :: thesis: verum