(x \ Y) \ (X \ (Y /\ Y)) = {} ;
hence for b₁ being set st b₁ = (x \ Y) \ (X \ Y) holds
b₁ is empty ; :: thesis: verum