{ the Element of S} is Subset of S ;
hence ex b₁ being Subset of S st
( not b₁ is empty & b₁ is trivial ) ; :: thesis: verum