theorem Th35: :: ORDINAL2:35

for A being Ordinal holds 0 *^ A = 0