比例式等积式的证明--等积式过渡