11.7 附录：证明和推导