$e\mathrm{,}f\mathrm{,}g$ a sík egy $O$ pontján átmenő egyenesek. Egy tetszés szerinti $P$ pont tükörképe $e$-re $P_1$, $P_1$ tükörképe $f$-re $P_2$, $P_2$ tükörképe $g$-re $P_3$. A $P{P}_3$ egyenes $e$-t, $g$-t $Q_1$, $Q_2$-ben metszi. Bizonyítsuk be, hogy $Q_1{P}_1$ és $Q_2{P}_2$ egyenesek $f$-en metszik egymást.