7.7.2 对式（7-16）的证明