Characterizing Jacobians via trisecants of the Kummer Variety

We prove Welters' trisecant conjecture: an indecomposable principally polarized abelian variety $X$ is the Jacobian of a curve if and only if there exists a trisecant of its Kummer variety $K(X)$.