On the extension of isometries between the unit spheres of von Neumann algebras

We prove that every surjective isometry between the unit spheres of two von Neumann algebras admits a unique extension to a surjective real linear isometry between these two algebras.