节选自《希尔伯特 几何基础》：
在合同公理之外，再加上平行公理，不难得到下列熟知的事实：
定理30　若两平行直线被第三条直线所截，则同位角合同，错角也合同；反之，若同位角合同，或错角合同，则前两直线平行。

据我理解：合同公理再加上平行公理 才能推出这个结论。
--
FROM 183.94.133.*