Quantum theory of recollisional (e, 2e) process in strong field nonsequential double ionization of helium.