Demuestra que existe, para $n \geq 4$, un conjunto $S$ de $3n$ círculos iguales en el espacio que se puede dividir en tres subconjuntos $s_5, s_4$ , y $s_3$, cada uno conteniendo $n$ círculos, tales que cada círculo en $s_r$ toca exactamente a $r$ círculos en $S.$