  We prove Nishida's 1971 conjecture stating that almost all low-energetic
motions of the anharmonic Fermi-Pasta-Ulam lattice with fixed endpoints are
quasi-periodic. The proof is based on the formal computations of Nishida, the
KAM theorem, discrete symmetry considerations and an algebraic trick that
considerably simplifies earlier results.
