7.7.1 对式（7-10）的证明