公理4
平行于同一条直线的两条直线互相平行．
a∥c, b∥c
a∥b
a∥b
a∥b