Let S be a compact subset of
R2. We establish the following: For 1 ≦ k ≦ 2, the dimension of kerS is at least k if
and only if for some 𝜖 > 0, every f(k) points of S see via S a common k-dimensional
neighborhood having radius 𝜖, where f(1) = 4 and f(2) = 3. The number f(k) in the
theorem is best possible.