Adott az $ABCD$ tetraéder (háromoldalú gúla). Legyen a tér tetszés szerinti $P$ pontjának tükörképe a tetraéder $ABC\mathrm{,}ABD\mathrm{,}ACD\mathrm{,}BCD$ lapjának síkjára $P_D\mathrm{,}{P}_C\mathrm{,}{P}_B\mathrm{,}{P}_A$, és a négy tükörképen áthaladó gömb középpontja $Q$. Legyenek $Q$ hasonlóan képezett tükörképei rendre $Q_D\mathrm{,}{Q}_C\mathrm{,}{Q}_B\mathrm{,}{Q}_A$. Bizonyítjuk be, hogy az ezeken átmenő gömb középpontja $P$, és sugara egyenlő az előbb említett gömb sugarával.