  The time-ordered exponential representation of a complex time evolution
operator in the interaction picture is studied. Using the complex time
evolution, we prove the Gell-Mann -- Low formula under certain abstract
conditions, in mathematically rigorous manner. We apply the abstract results to
quantum electrodynamics with cutoffs.
