[math-fun] Four spheres are mutually tangent