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