theorem Th101: :: ORDINAL7:88

for a, b, c being Ordinal st a in exp (omega,c) & b in exp (omega,c) holds
a (+) b in exp (omega,c)