droites perpendiculaires et parallélisme

On veut démontrer: 
Parallélisme de deux droites
hypothèse: 

Si deux droites sont perpendiculaires à une 3ème

conclusion: 

alors elles sont parallèles entre-elles