Lemma 11.2.2. Proof. Variable renamed to avoid shadowing.