Zajíček's theorem - Statement, proof and some consequences of a mathematical jewel
Zajíček's theorem characterizes the sets of non-differentiability of convex functions.
Its statement is sharp, elegant and tremendously powerful.
We provide the proof in a simple case and give some applications.