theorem Th43: :: ORDINAL2:43

for A being Ordinal holds exp (A,0) = 1