Proving the Change of Base Formula