公理三的符号表示平面性质