平面上の1直線上にない3点の存在． 順序の公理．2点の間にある点の存在．

空間ベクトル． 第1式は外積の定義と言ってもよい． 第2式は， を用いると，次の等式から従う． また， からも従う．前者からは次も言える．