在比例里，两个外项的积减去两个内项的积，差为0。