consider A being trivial Subset of ;
A is Subset of ;
hence ex b₁ being Subset of st b₁ is trivial ; :: thesis: verum