PC.EL.1: Use the definition of logarithms to convert logarithms from one base to another and prove simple laws of logarithms.