乘法比例性质是内项之积=外项之积吗?