Az adott $A$ és $B$ pontok egyenlő távolságban vannak az adott $e$ egyenestől, és $B$ nincs benne abban a síkban, amelyet $A$ és $e$ határoz meg. Tükrözzük $e$-re $A$-t és $B$-t, legyen a tükörképük $C$, ill. $D$. Bizonyítandó, hogy az $ABCD$ tetraéder lapjai egybevágók egymással.