4.02 Properties of Logarithms