theorem :: BOOLE:8

for X, Y being set st X is empty & X <> Y holds
not Y is empty