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

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