Let S be a d-dimensional
set, d ≧ 2, and assume that for every (d + 1)-member subset T of S, there
corresponds a (d− 2)-dimensional convex set KT⊆ S such that every point of T sees
KT via S and (affKT) ∩ S = KT. Furthermore, assume that when T is affinely
independent, then KT is the kernel of T relative to S. Then S is starshaped and the
kernel of S is (d − 2)-dimensional.