0PB6 Proof. We have L(θ|I′)⊂L(θ)L(\theta_{|I^{\prime}})\subset L(\theta) and Lemma 7.4.15 shows that D(θ|I′)⊂D(θ)D(\theta_{|I^{\prime}})\subset D(\theta). ∎