As the logarithm is the inverse function of the exponential function, we can apply fact and get
using fact.