Constant scalar curvature Kahler metric and K-energy

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