We can go further and define some additional properties. We know that there is a unique number such that by intermediate value theorem. Let be any rational number. We can show that where is ordinary exponentiation of rational exponents (try provong this). Thus, it is reasonable to define for any real number .