  We prove, with a more geometric approach, that the solutions to the
Navier-Stokes equations are regular up to a set of Hausdorff dimension 1. The
main tool for the proof is a new compactness lemma and the monotonicity
property of harmonic functions.
