Proof of Factorization for Diffractive Hard Scattering