  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.
