AB║d, BC║d⇒A, B, C coliniare(printr-un pct B exterior unei drepte d se poate duce o singura paralela la dreapta data=axioma paralelelor )
BC║d, CD║d⇒B,C,D coliniare (cu acelasi rationament)
Deci A, B, C, D coliniare si cum AB║d, putem scrie AD║d (alta notatie pt aceeasi dreapta)