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