在比例里，两个内项的积与两个外项的积的差是0。