Constant Scalar Curvature Kähler Metric Obtains the Minimum of K-energy

Based on Donaldson's method, we prove that, for an integral Kähler class, when there is a Kähler metric of constant scalar curvature, then it minimizes the K-energy. We do not assume that the automorphism group is discrete.