  Using construction of adiabatic vacuum states of a free scalar field on
Robertson-Walker spacetime, using results of Luders and Roberts we prove that
validity of the Hadamard condition implies smoothness of the scale factor.
