theorem :: XBOOLE_1:15

for X, Y being set st X \/ Y = {} holds
X = {} ;