Legyen a tér három köre oly tulajdonságú, hogy páronként érintkeznek és e három érintkezési pont egymástól különbözik. Bebizonyítandó, hogy e három kör vagy egy gömbön vagy egy síkon fekszik. (Két térbeli kör akkor neveztetik érintkezőnek, ha közös pontjuk és ebben közös érintőjük van.)