一个空间几何上的命题,到底能不能用啊,