Many-body quantum theory of the optical parametric oscillator.