We give here a rigorous proof of the well known prediction of pair creation as it arises from the Dirac equation with an external time dependent potential. Pair creation happens with probability one if the potential changes adiabatically in time and becomes overcritical, which means that an eigenvalue curve (as a function of time) bridges the gap between the negative and positive spectral continuum. The potential can be thought of as being zero at large negative and large positive times. The… CONTINUE READING