Si deux droites sont parallèles, toute perpendiculaire
à l'une est perpendiculaire
à l'autre.

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