Adott a térben a $\text{G}$ gömb. A $\text{G}$-t elkerülő tetszőleges $e$ egyenes esetén nevezzük az $e$ egyenes $\text{G}$-re vonatkozó párjának azt az $f$ egyenest, mely $\text{G}$-nek az $e$-re illeszkedő két érintősíkján lévő érintési pontokat köti össze. Mutassuk meg, hogy a tér bármely két $\text{G}$-t elkerülő egyenese pontosan akkor kitérő, ha $\text{G}$-re vonatkozó párjaik kitérő egyenesek.