平行线的传递性是性质还是判定