立体几何公理4

平行于同一条直线的两条直线平行（平行公理）。