比例式和等积式的证明