Mutassuk meg, hogy ha a tér $a$, $b$, $c$, $d$ páronként kitérő egyeneseire igaz, hogy $a$ és $b$, valamint $c$ és $d$ normáltranszverzálisai is, és $a$ és $c$, valamint $b$ és $d$ normáltranszverzálisai is merőlegesek egymásra, akkor $a$ és $d$, valamint $b$ és $c$ normáltranszverzálisai is merőlegesek egymásra.