7. 附录

本节旨在推导本讲义中涉及到的诸多辅助结论.