Egy tetraéderről tudjuk, hogy van olyan gömb, amely mindegyik élét érinti, továbbá egyik lapjához létezik olyan gömb, amely érinti a lapon lévő három élt és a másik három él meghosszabbítását. Mutassuk meg, hogy ekkor a tetraéder mindegyik lapjához létezik a lapon lévő éleket és a másik három él meghosszabbítását érintő gömb.