theorem Th38: :: ORDINAL2:38

for A being Ordinal holds A *^ 0 = 0