adding in theorems for exponents and logarithms