theorem Th33: :: ORDINAL7:20

for A, B being non empty Cantor-normal-form Ordinal-Sequence st omega -exponent (B . 0) in omega -exponent (last A) holds
A ^ B is Cantor-normal-form