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