Oui dans le cas où on l'utilise pour prouver le parallélisme de 2 droites, et que l'on sait déjà que l'une forme un angle droit avec une autre...