  In this paper we prove the Knop conjecture asserting that two smooth affine
spherical varieties with the same weight monoids are equivariantly isomorphic.
We also state and prove a uniqueness property for not necessarily smooth affine
spherical varieties
