theorem Th26: :: ORDINAL5:26

for a, b being Ordinal st 1 in a & 1 in b holds
a in a |^|^ b