Como visto em um [[lista:ma#id0_1-19|exercício anterior]], quando $F\cap D_n \neq \emptyset$ para todo $n \in \omega$, temos $\varphi : \omega \rightarrow \omega$. Mas, como visto em [[lista:ma#id0_1-21|outro exercício]], $F\cap E_g \neq \emptyset$ não vale para $\varphi = g$, ou seja, não vale para todo $g : \omega \rightarrow \omega$.