Se $s$ é uma reta secante às retar $r$ e $t$, então os ângulos colaterais externos são suplementares.

Duas retas perpendiculares a uma terceira são paralelas entre si.

Se um plano é perpendicular a duas retas distintas, elas serão coplanares.