Lemma 3.4.
Assuming that:
Fix
f
:
ω
→
2
and define
N
f
:
=
{
p
∈
ℙ
:
∃
u
,
p
(
u
)
≠
f
(
u
)
}
.
F
is
D
∪
{
N
f
}
Then
⋃
F
≠
f
.