log3k=lgk/lg3, 这一步是为什么?