Euclide: énoncé 9

Si deux droites sont perpendiculaires à une troisième, alors elles sont parallèles.