Si deux droites sont perpendiculaires à une même droite, alors elles sont parallèles.

 

 

figure réalisée à l'aide de Tracenpoche