空间图形的公理(公理4、定理)