Lemma 3.4

  Let . Let . Then for

contains .

Proof

Given such , first pick , so that has first coordinate a. Next pick or 1 so that has first coordinate a and second coordinate with . Certainly , so . If , then

If , then