Proving Simple Laws of Logarithms