空间图形的公理(难)