怎么证明两内项之积等于两外项之积?