9.2 空间证明的原理