theorem Th23: :: ORDINAL5:23

for a, b being Ordinal st 0 in a & 0 in b holds
a c= a |^|^ b