theorem Th38: :: ORDINAL2:38
for A being Ordinal holds A *^ 0 = 0