Adott egy $G$ gömb és benne egy $k$ kör úgy, hogy $G$ középpontjának $k$ síkjára eső merőleges vetülete rajta van $k$-n. Tudjuk továbbá, hogy $k$-ra két olyan gömb is illeszkedik, amelyik érinti $G$-t. Mutassuk meg, hogy ez utóbbi két gömb sugarának összege egyenlő $G$ sugarával.