空间几何,四个公理应用,