平行于同一条直线的两条直线
公理4：平行于同一条直线的两条直线互相平行
