5.1 一个基本定理