Every four-dimensional Kakeya set has full Hausdorff dimension

We prove the four-dimensional Hausdorff-dimension Kakeya conjecture: every subset of $\mathbb R ^4$ containing a unit line segment in every direction has Hausdorff dimension four. No compactness or regularity assumption is imposed on the set or its witnessing line family.