Pour prouver cela, il est utile de considérer les cas et, b le domaine est une fonction continue, strictement monotone, des reals aux positifs, de sorte qu'elle a une fonction inverse des reals positifs aux réals, qui est dénotée par logb -LRB- x -RRB-.
Cette fonction exponentielle a un inverse, ce logarithme :