§8.1 一些必要的附加理论