A definition of exponentiation by a bounded arithmetical formula