logab×logba等于( )这个推论是什么