theorem Th26: :: ORDINAL3:26

for A, B being Ordinal st A +^ B = {} holds
( A = {} & B = {} ) by Th24, XBOOLE_1:3;