Adott a 3-dimenziós hiperbolikus térben egy $\text{P}$ sík, valamint négy különböző egyenes, $a_1$, $a_2$, $r_1$ és $r_2$ olyan helyzetben, hogy $a_1$ és $a_2$ merőleges $\text{P}$-re, $r_1$ koplanáris $a_1$-gyel, $r_2$ koplanáris $a_2$-vel, továbbá $r_1$ és $r_2$ ugyanakkora szögben döfi $\text{P}$-t. Forgassuk körbe $r_1$-et $a_1$ körül, és $r_2$-et $a_2$ körül; az általuk súrolt két forgásfelületet jelölje ${\text{S}}_1$, illetve ${\text{S}}_2$. Mutassuk meg, hogy ${\text{S}}_1$ és ${\text{S}}_2$ közös pontjai egy síkban vannak.
(A nemeuklideszi geometriákról Olvasóink például H. S. M. Coxeter A geometriák alapjai vagy Reiman István A geometria és határterületei c. könyvében olvashatnak.)