8.6 附录、推导和证明