平行公理：经过直线外一点,有且只有一条直线平行于已知直线

推论：如果两条直线平行于第三条直线,那么这两条直线也平行