空间平行线的传递性
公理4表述的性质通常叫做空间平行线的传递性
