"Moreover, where K is a closed starshaped set with convex kernel and P is a set of first category." . . . .