Mediante esta definición es inmediato comprobar que esta función cumple la propiedad fundamental de todo logaritmo: