Parallèles et perpendiculaires

Deux droites perpendiculaires sont sécantes.

Deux droites sécantes sont perpendiculaires.

Si deux droites sont perpendiculaires à une même troisième alors ces deux droites sont perpendiculaires.