F. Proximal and C. Normal, Moreover (Federer, TAMS (1959)), the set K (k) = {x ? K : H ? dim(N (x; K)) ? n ? k} is H k -rectifiable (analogous to a k-face of a convex set) In particular, the set of points where the normal cone has dimension ? 2 (i.e., where K has a