(x \/ y) \ Y = (x \ Y) \/ (y \ Y) by XBOOLE_1:42
.= x \ Y ;
hence for b₁ being set st b₁ = ((x \/ y) \ Y) \ X holds
b₁ is empty ; :: thesis: verum