Proposition 3.1

  If , , then .

Proof

Let . Then, since implies , we have

We now apply Lemma 3.1 with n=1, and conclude that .