theorem Th14: :: ORDINAL5:14

for a, b being Ordinal holds a |^|^ (succ b) = exp (a,(a |^|^ b))