Proof. Easy to derive from the proof of theorem 9.     □