Lemma 3.4. Assuming that:

  • Fix f:ω→2 and define

    Nf:={p∈ℙ:∃⁡u,p(u)≠f(u)}.

Then ⋃⁡F≠f.