Let . Let . Then for contains .
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