Lemma 3.4. Assuming that:

  • Fix f:ω2 and define

    Nf:={p:u,p(u)f(u)}.

Then Ff.