㏒10a=㏒10b能否推出a=b