关于几何基础中的一个命题

在希尔伯特的几何基础书中第二章§12后面有一个未附证明的命题: 若存在某一个三角形的三个内角和大于、等于或小于两个直角,则每一个三角形的三个内角和也必都如此。 希尔伯特指出了在初等几何公理系统的前三组关联、次序和全合公理基础之上可以证明。为了证明此命题导入下列诸引理,在证明的过程中将用到希尔伯特几何基础第1§1—6。