This video proves the helpful change of base formula for logarithms. The proof steps may need to be more intuitive to most logarithm learners, but the algebraic manipulation shown using logs is interesting.