Logarithm/Base/Rules/Fact/Proof/Exercise