如果不等，则两线必相交  
  
【 在 chunmin0917 (chunmin0917) 的大作中提到: 】
:  希尔伯特的几何学公理体系：
:  https://baike.baidu.com/item/%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9%E5%85%AC%E7%90%86
:  有一条平行公理：
:  公理Ⅳ平行公理：过定直线外一点，至多有一条直线与该直线平行．
--
FROM 223.104.106.*