  In \cite{G}, G. Lupton conjectured that the group of self-homotopy
equivalences of an $F_0$-space inducing the identity on the homotopy groups is
finite. Thus, the aim of this paper is to establish this conjecture.
