Si deux droites sont parallèles, alors toute droite perpendiculaire à l'une est aussi perpendiculaire à l'autre.
On sait que :
// et
Puisque les droites et sont parallèles, alors, d'après la propriété, la droite qui est perpendiculaire à est aussi perpendiculaire à .