The characterization of a distribution function by the second moment of the residual life