  In a previous paper, the author proved the existence of extremal function for
the Moser-Trudinger inequality on a compact manifold. In the this paper, we
will give a new proof of one of the key proposition.
