K-stability of constant scalar curvature Kahler manifolds

We show that a polarised manifold with a constant scalar curvature Kähler metric and discrete automorphisms is K-stable. This refines the K-semistability proved by S.K. Donaldson.