  We give a short proof that any non-zero Euclidean space has a compact subset
of Hausdorff dimension one that contains a differentiability point of every
real-valued Lipschitz function defined on the space.
