theorem Th40: :: ORDINAL2:40

for A, B, C being Ordinal st C <> 0 & A in B holds
A *^ C in B *^ C