theorem Th16: :: ZFREFLE1:16

for C being Ordinal
for phi being Ordinal-Sequence st phi is increasing & phi is continuous holds
C +^ phi is continuous