The classification of complete stable area-stationary surfaces in the Heisenberg group H1

We prove that any C2 complete, orientable, connected, stable area-stationary surface in the sub-Riemannian Heisenberg group H1 is either a Euclidean plane or congruent to the hyperbolic paraboloid t=xy.