Proprietà transitiva del parallelismo e semirette parallele