7.5 Properties of logarithms